Math Proof plugin: what it installs and how to add it

Math Proof provides two ways to work on difficult, research-level mathematics problems. The solo workflow reasons through the problem in stages and records its plan and intermediate results, while the siege workflow uses repeated rounds of judge and worker agents to test claims, track open points and check completed proofs.

Each run works from a complete problem statement and ends with a self-contained proof.md that states clearly what has and has not been proved. It is intended for one problem per working directory and disables web tools during the run, so cited mathematical results should be checked critically.

It requires Claude Code 2.1.280 or later. The siege workflow also needs Python 3.7 or later on the PATH, and may run many sub-agent sessions with associated usage costs.

What's inside

• 2 skills: solo and siege
• 3 agents: math-proof-judge, math-proof-worker-deep and math-proof-worker