math-proof Claude Code Plugin

math-proof is a Claude Code plugin that adds two skills, solo and siege, for tackling difficult, research-level math problems and producing a self-contained proof.md file as the output. The solo skill has Claude work through a single stated problem within one session, writing its plan and intermediate results to a notes file so that nothing is lost if the response is cut off. The siege skill instead runs the work across many rounds of sub-agents over an extended period: a judge sub-agent poses focused sub-questions, worker sub-agents answer them in parallel, and the judge tracks which claims are proved, disproved, or still open before checking any completed proof line by line. Both skills turn off web access during the run and keep all working files inside a dedicated run folder, and the final proof.md states clearly what has and has not been established. Because siege can launch a large number of sub-agent calls over hours, the README recommends checking usage limits or capping spend before starting an unattended run.