← Browse
math-proof
anthropics ★ 36523
Two Claude Code skills tackle hard mathematics problems: `/math-proof:solo` works through a problem in one session with intermediate results saved to a notes file, while `/math-proof:siege` runs rounds of judge and worker sub-agents over hours to collaboratively prove or refute the goal, ending with a plainly-stated `proof.md` documenting what was and was not proved.
Install
> /plugin marketplace add anthropics/claude-plugins-official/tree/HEAD/plugins/math-proof
> /plugin install math-proof
Source: https://github.com/anthropics/claude-plugins-official/tree/HEAD/plugins/math-proof
What it's made of
3 agents · 2 skills
- Commands
- 0
- Agents
- 3
- Skills
- 2
- MCP servers
- 0
- Hooks
- 0
What it needs & plugs into
- API keys
- none
- Paid services
- none detected
- External tools
- none
- Talks to
- nothing external detected
Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.
Is this your plugin?
Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (anthropics).