verify-and-repair-algebra
verify-and-repair-algebra is a skill in 1105216375-alt/resimind, last changed 14 Oct 2026. It can run shell commands, reach the network and name web addresses — read the findings before installing.
Check and repair rational polynomial identities with ResiMind when an expansion looks wrong, two algebraic answers disagree, or an agent needs exact coefficient evidence before using a result. Applies to bounded polynomial algebra, not calculus, arbitrary theorem proving or engineering certification.
At a glance
What it can touch
How much a skill can do, not whether it is risky.
Pattern check
Nothing flagged
That isn't proof the skill is harmless.
Commit 4055d9c · 3 Nov 2026
How the check worksPattern check: nothing flagged
That isn't proof the skill is harmless.
Install
Each tab says whether it installs commit 4055d9c, the one we checked, or the latest version.
OpenCode also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Goose also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Windsurf (Devin Desktop) also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Zed also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Roo Code also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Factory Droid also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Junie also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Amp also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
No install command here reaches Kiro. Copy the skill's folder into .kiro/skills/ in your project, or ~/.kiro/skills/ for all your projects. 1105216375-alt/resimind/skills/verify-and-repair-algebra (opens in a new tab)
Antigravity also looks in .agents/skills/, so the Any agent steps reach it with This project. For All projects, see where Antigravity looks.
Cline also looks in .claude/skills/, so the Claude Code steps reach it with This project. For All projects, see where Cline looks.
Claude Code
Pinned to commit 4055d9c, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&mkdir -p .claude/skills &&mkdir .claude/skills/verify-and-repair-algebra &&cp -R "$tmp"/skills/verify-and-repair-algebra/. .claude/skills/verify-and-repair-algebra/ &&rm -rf "$tmp"If Claude Code was already running and this created the skills folder, run /reload-skills.
Claude apps
Pinned to commit 4055d9c, the one we checked.
Skills in the Claude apps belong to your account rather than to a project.
Make verify-and-repair-algebra.zip, with the skill folder at the top level:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&out="$(mktemp -d)" &&cp -R "$tmp"/skills/verify-and-repair-algebra "$out"/verify-and-repair-algebra &&(cd "$out" && zip -qr - verify-and-repair-algebra) > verify-and-repair-algebra.zip &&rm -rf "$tmp" "$out"In Claude, open Customize > Skills, select +, then + Create skill > Upload a skill, and choose verify-and-repair-algebra.zip.
On Free, Pro and Max plans, turn on Code execution and file creation (Create and edit files in newer settings) under Settings > Capabilities.
Codex
Pinned to commit 4055d9c, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&mkdir -p .agents/skills &&mkdir .agents/skills/verify-and-repair-algebra &&cp -R "$tmp"/skills/verify-and-repair-algebra/. .agents/skills/verify-and-repair-algebra/ &&rm -rf "$tmp"Codex picks up new skills on its own; restart it if this one does not appear.
Cursor
Pinned to commit 4055d9c, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&mkdir -p .cursor/skills &&mkdir .cursor/skills/verify-and-repair-algebra &&cp -R "$tmp"/skills/verify-and-repair-algebra/. .cursor/skills/verify-and-repair-algebra/ &&rm -rf "$tmp"Copilot & VS Code
Pinned to commit 4055d9c, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&mkdir -p .github/skills &&mkdir .github/skills/verify-and-repair-algebra &&cp -R "$tmp"/skills/verify-and-repair-algebra/. .github/skills/verify-and-repair-algebra/ &&rm -rf "$tmp"In a running Copilot CLI session, run /skills reload.
Or install it with gh skill, which also installs the commit we checked. Needs GitHub CLI 2.90 or later.
gh skill install 1105216375-alt/resimind skills/verify-and-repair-algebra/SKILL.md@4055d9c8a065b687c4b13b04f3094d6c14545db4 --agent github-copilot --scope projectGemini CLI
Pinned to commit 4055d9c, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&mkdir -p .gemini/skills &&mkdir .gemini/skills/verify-and-repair-algebra &&cp -R "$tmp"/skills/verify-and-repair-algebra/. .gemini/skills/verify-and-repair-algebra/ &&rm -rf "$tmp"In a running session, run /skills reload.
Or use Gemini CLI’s own installer. Installs the latest version, not the one we checked.
gemini skills install https://github.com/1105216375-alt/resimind.git --path skills/verify-and-repair-algebra --scope workspaceAny agent
Pinned to commit 4055d9c, the one we checked.
OpenCode, Goose, Windsurf (Devin Desktop), Zed, Roo Code, Factory Droid, Junie, Amp and Antigravity read .agents/skills in a project.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/1105216375-alt/resimind.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&git -C "$tmp" sparse-checkout set -- skills/verify-and-repair-algebra &&git -C "$tmp" checkout -q 4055d9c8a065b687c4b13b04f3094d6c14545db4 &&mkdir -p .agents/skills &&mkdir .agents/skills/verify-and-repair-algebra &&cp -R "$tmp"/skills/verify-and-repair-algebra/. .agents/skills/verify-and-repair-algebra/ &&rm -rf "$tmp"Or use the skills CLI from skills.sh. Installs the latest version, not the one we checked. The skills CLI reports installs to skills.sh unless you set DISABLE_TELEMETRY=1.
npx skills@1.7.4 add 1105216375-alt/resimind --skill verify-and-repair-algebraWhat it can touch
From the files and frontmatter at commit 4055d9c. This is how much a skill can do, not whether it is risky.
Pattern check
Pattern check: nothing flagged · commit 4055d9c · 3 Nov 2026
We checked every text file in this skill, at commit 4055d9c on 3 Nov 2026, against 45 published patterns such as download-and-run commands, hidden text and credential access. We don't run the skill, we don't read the web pages it points to, and we can't judge everything its instructions might lead an agent to do. In published tests, pattern checks like this one missed most malicious skills. Read the skill before you install it — especially anything it asks you to download or run.
How the check worksReport an incorrect finding
Outside links we did not follow
- https://github.com/1105216375-alt/resimind/archive/refs/tags/v0.16.0.tar.gz
- https://github.com/1105216375-alt/resimind/blob/v0.16.0/docs/agent-tools.md
Format check
Each agent reads SKILL.md a little differently. We check the file against each one's published rules; we don't run the skill in any agent.
- Agent Skills specPasses
- Claude CodePasses
Claude apps & API uploadPasses
Uploading to claude.ai or the Claude API, or packaging with Anthropic's script, accepts only the six spec fields and stops on anything else.
- Note
The description is 301 characters. The claude.ai Help Center says 200 at most, though Anthropic's API docs and validator allow 1,024. D4
Fix: If the claude.ai upload refuses it, trim the description to 200 characters.
- Note
- OpenAI (Codex & API)Passes
- VS Code & CopilotPasses
SKILL.md
Files
3 files
| Path | Size |
|---|---|
| SKILL.md (opens in a new tab) | 2.4 KB |
| agents/openai.yaml (opens in a new tab) | 266 B |
| references/interface.md (opens in a new tab) | 1.6 KB |
Other Testing & QA skills
Same category, most repo stars first.