math-proof
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.
/plugin install math-proof@claude-plugins-officialHow to start
- Paste the command into Claude Code and press Enter.
- Restart Claude Code so the plugin loads.
- Just ask Claude. Its skills step in when your request fits.
What it adds
3 agents · 2 skills
Agents Claude hands work to these
math-proof-judgeThe math-proof judge: it plans each round's questions, reads the answers, keeps the summary and ledger, and writes up, revises and finalizes proof.md. It does…math-proof-worker-deepThe higher-effort math-proof worker, used from the escalation round on (round 4, unless the siege setting ESC_ROUND says otherwise). It answers one self-contai…math-proof-workerA math-proof worker: it answers one self-contained question from a file, writing its answer to a file as it reasons. It has no memory between questions and is…
Skills Claude loads these when the task fits
siegeWork on one hard mathematics problem in rounds: each round a judge writes a few self-contained questions, independent workers answer them, and the judge keeps…soloWork on one hard mathematics problem in this session yourself, with no sub-agents: reason in stages, record each settled step in a notes file so that nothing w…
Read from the plugin's own files in anthropics/claude-plugins-official, 26 Oct 2026.
What it needs
No keys or settings: its files ask for none.