anthropics/math-proof
claude-codeOfficial# math-proof Two Claude Code skills for hard, research-level mathematics problems. Each takes one problem stated in full, keeps everything it writes in a run folder, switches Claude Code's web tools off for its run, and ends with a self-contained `proof.md`. **`/math-proof:solo`**: Claude works the problem itself, in your session, as one long turn. It is instructed to write its plan and each intermediate result to a notes file before reasoning further, so that a response cut off at the output
Frequently Asked Questions
What is math-proof?
# math-proof Two Claude Code skills for hard, research-level mathematics problems. Each takes one problem stated in full, keeps everything it writes in a run folder, switches Claude Code's web tools off for its run, and ends with a self-contained `proof.md`. **`/math-proof:solo`**: Claude works the problem itself, in your session, as one long turn. It is instructed to write its plan and each intermediate result to a notes file before reasoning further, so that a response cut off at the output
How do I install math-proof?
Visit the GitHub repository at https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-proof for installation instructions.
What license does math-proof use?
Check the repository for license details.
What are alternatives to math-proof?
Search My AI Guide for similar tools in this category.
Open source: source code publicly visible
Anyone can inspect exactly what this repo does on GitHub before using it.
Reviewed by My AI Guide for relevance, quality, and active maintenance before listing.
Install in Claude Code:
/install math-proof