CLAUDE CODE math

math-proof

by Anthropic

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.

Install

claude plugins add math-proof

Run this command in your terminal to install the plugin via Claude Code.

Homepage