← All skills

gap

97 / 100 · Low risk

Fine to try. Some of what it can do is expected: a coding skill usually runs build and test commands.

By scaling-group/eve (GitHub) · coding · 66 stars · scanned at commit 979065f

Use when a proof step involves finite groups, character tables, conjugacy data, finite fields, or other exact discrete-algebra computations that can be checked or explored with a local GAP3/GAP4 CLI.

Works with any agent that supports SKILL.md skills.

What this skill can do

Other copies in this repository

scaling-group/eve has 1 more folder with a skill named gap. This page shows the lowest-scoring copy.

• configs/eve/evaluation/math_proof/immutable/.codex/skills/gap 97/100 · Low risk

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'gap' ] || [ -L ~/.agents/skills/'gap' ]; then echo 'A skill folder named gap already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/scaling-group/eve' "$d" && git -C "$d" checkout --quiet '979065fd2cf1b3be9caf70596478fe27df7815ad' -- 'configs/eve/optimizer/math_proof/initial_guidance/skills/gap' && mkdir -p ~/.agents/skills && cp -R "$d"/'configs/eve/optimizer/math_proof/initial_guidance/skills/gap' ~/.agents/skills/'gap' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'gap' ~/.claude/skills/'gap' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for scaling-group/eve shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/scaling-group/eve.svg)](https://zalavijaysinh.github.io/skilltrust/repos/scaling-group/eve/)

Score history