Directory / Claude Code official plugins / math-proof
math-proof
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.Description from the marketplace entry / plugin manifest.
Install
In a Claude Code session
/plugin install math-proof@claude-plugins-officialFrom your shell
claude plugin install math-proof@claude-plugins-officialCommands follow each host's documentation (Claude Code docs). gh skill needs GitHub CLI 2.90 or later and is in public preview.
Listed from Anthropic's catalog, not reviewed by us. Read the source before installing.
- Catalog
- Claude Code official plugins (
claude-plugins-official) - Author
- Anthropic
- Source code
- anthropics/claude-plugins-official
- License
- see LICENSE file
- Repository stars
- 43,046 for anthropics/claude-plugins-official (the whole catalog repo)
- Added to catalog
- 2026-09-30
- Last change
- 2026-09-30
What it contains
- Skills: 2
- Subagents: 3
Skills: siege, solo
Similar in Science, research & learning
- explanatory-output-style (Claude Code plugin)
- learning-output-style (Claude Code plugin)
- math-olympiad (Claude Code plugin)
- learn-with-coursera (Claude Code plugin)
- academy-guide (Anthropic skills skill)
- 13c-metabolic-flux (K-Dense science skill)