Math Skill
Forces two independent verification checks before any math answer is shown
Test report
- Verdict
- Tested · Works
- Score
- Tested
- Jul 29, 2026
- Environment
- Claude Code 2.x (agent harness)
- Upstream re-checked
- Jul 30, 2026 · 9b94a2d
⚠ This skill is no longer available upstream. Our re-check on Aug 10, 2026 couldn't find it any more (repo unreachable/deleted). The test below is what we measured on Jul 29, 2026 and we're leaving it up as a record — but there is nothing left to install, so we've removed the command.
Ran five trap problems as an unverified quick pass and then again under the skill's mandatory verification: the unguided pass returned -2 for an integral that diverges, 1 for a limit that does not exist, and left x=3 inside the solution set of an inequality that is undefined there. Working the skill's domain-check and numerical-sampling methods for real flipped all of them to the answers sympy confirms, 5/5 against 1.5/5. The price is bulk: nine modules totalling roughly 190KB sit behind the SKILL.md, and every answer arrives as a five-section template with a verification block. Fair caveat — the baseline was deliberately unverified, so part of that gap closes for anyone who would have checked their own work.
Scored on four weighted criteria — install, triggering, output vs. baseline, docs. How scoring works
- Installs cleanly 5/5
- Triggers reliably 5/5
- Output vs. baseline 7/10
- Docs & honesty 4/5
What Math Skill does
A mathematical reasoning skill that runs every problem through a seven-step workflow — parse, model, choose a method, solve, verify, correct, answer — and refuses to output a result that has not passed at least two of eleven named verification methods (back-substitution, domain check, numerical sampling, cross-method, counterexample search and others). Triggers on solving, proving, checking or generating maths, from arithmetic through calculus, linear algebra and analysis. Nine reference modules cover classification, error prevention and output templates.
How to install Math Skill
Nothing to install: the source repository no longer has this skill. If the author brings it back, our daily re-check will pick it up and the command will reappear here.
Commands — how to trigger Math Skill
-
/math-skillForces two independent verification checks before any math answer is shown
It also activates on plain-language prompts like these:
-
Solve this integral and double-check that the answer isn't wrong -
Prove that the square root of 2 is irrational, verify each step -
Check my solution to this ODE and confirm the domain restrictions
Frequently asked questions
- Is the Math Skill skill free?
- Yes. The skill itself is free from Wholiver/Math.Skill. SkillProof publishes the install command and an independent test verdict at no cost.
- Does Math Skill work with Claude Code?
- We tested it with Claude Code 2.x (agent harness) on Jul 29, 2026. Verdict: Tested · Works. Ran five trap problems as an unverified quick pass and then again under the skill's mandatory verification: the unguided pass returned -2 for an integral that diverges, 1 for a limit that does not exist, and left x=3 inside the solution set of an inequality that is undefined there. Working the skill's domain-check and numerical-sampling methods for real flipped all of them to the answers sympy confirms, 5/5 against 1.5/5. The price is bulk: nine modules totalling roughly 190KB sit behind the SKILL.md, and every answer arrives as a five-section template with a verification block. Fair caveat — the baseline was deliberately unverified, so part of that gap closes for anyone who would have checked their own work.
- What is the Math Skill SkillProof Score?
- 8.4/10 — installs cleanly 5/5, triggers reliably 5/5, output vs. baseline 7/10, docs & honesty 4/5.
- How do I install Math Skill?
- Copy the install command from this page, run it in your terminal, and restart Claude Code. Skills live in ~/.claude/skills/ (global) or .claude/skills/ inside a project.
- Can I use Math Skill with Cursor, Copilot, Gemini CLI, Codex or other AI tools?
- The SKILL.md format is native to Claude (Claude Code, Desktop, claude.ai). The instructions inside adapt to other assistants: Cursor rules, GitHub Copilot instructions, Windsurf rules, Custom GPTs, AGENTS.md for OpenAI Codex, and GEMINI.md for Google Gemini CLI — our conversion guides cover each, and the free converter on the tools page does the wrapping for you.