Solo Math Proof Solver
Has Claude work through one hard math problem alone, saving notes as it goes, and end with a self-contained proof file.
- Repository
- anthropics/claude-plugins-official
- Stars
- 45,770
- Licence
- Apache-2.0
- Files
- 1 file
What it does
When you invoke this skill with a math problem, Claude works on it by itself in the current conversation, without spawning helper agents. It writes its progress into a notes file as each step is settled, so partial work survives if a reply gets cut off, and at the end it produces a proof.md file meant to be readable on its own by a reviewer. It is a reasoning-only process: Claude has no web access and no code execution here.
Great for
- Students who want a worked, written-out proof of a hard problem they are stuck on
- Mathematicians or educators drafting a self-contained solution to check or share
- Users who want long reasoning tasks to be saved step by step rather than lost on a cut-off reply
Skip it if
- Problems that need computation, numerical search or symbolic software, because the skill forbids code execution and the result may be wrong without verification
- Problems requiring up-to-date literature lookups, since web access is disabled, so citations may be from memory and unverified
- Anyone who needs a guaranteed-correct proof for publication or grading without expert review, since the output is AI-generated reasoning that can contain errors
Try asking
- “/math-proof:solo Prove that there are infinitely many primes of the form 4k+3.”
- “/math-proof:solo /home/me/problems/problem7.md”
- “/math-proof:solo DIR=./runs/graph-coloring Show that every planar graph is 5-colorable.”
Install in 3 steps
- 1
Download the skill
The ZIP contains the 1 original files, the Apache-2.0 licence and an attribution note.
solo.zip - 2
Add it to your agent
Claude Code (all projects)
mkdir -p ~/.claude/skills && unzip solo.zip -d ~/.claude/skills/Claude Code / Agent SDK (this project only)
mkdir -p .claude/skills && unzip solo.zip -d .claude/skills/Claude apps (web/desktop): Settings → Capabilities → Skills → Upload skill, and choose the ZIP.
- 3
Ask for the task
No special command needed — the agent reads the skill's description and loads it when your request matches. Try one of the prompts above.
Get better results
- State the problem in full, including all hypotheses, so the saved problem.md is accurate.
- Use a separate DIR=path for each new problem; reusing a directory with a different problem is refused.
- Re-invoke with the same directory after a cut-off to resume from notes.md rather than starting over, and check proof.md for any stated open gaps.
What's inside
- SKILL.md
Redistributed unmodified from anthropics/claude-plugins-official under the Apache-2.0 licence. The assessment was drafted with AI from the skill's files on 2026-10-29. Skills can instruct your agent to run code — read SKILL.md and any scripts before installing.