math-proof
Anthropic · Claude Code
What this plugin does
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.
Catalog observations
- Sources
- Official
- Works with
- Claude Code
- Category
- Math
- Reported installs
- Not provided
- First observed
- 2026-10-03 21:29 UTC
- Last observed
- 2026-10-11 00:00 UTC
Installation counts are reported by Claude Marketplace, not independently verified active users. Observation dates are not release dates. Pricing and account requirements must be checked with the publisher.
Install in Claude Code
Choose a source and review what the plugin adds before installing.
Official
/plugin install math-proof@claude-plugins-official
Source evidence
Descriptions and compatibility labels come from the linked sources. Where both sources match, the GitHub description is used because web summaries may be shortened. We have not independently tested the declared capabilities.