Oct 3, 2026 · 22:13 UTC
Added
View comparison →
Catalogs updated; open the comparison for details.
← Claude plugins
Math
math-proof
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 ...
Create a free account to save this plugin.
From the developer
Works with
Claude Code
Description
From the marketplace listing
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.
What changed
Similar plugins
Find competitors to follow as you develop your plugin.
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verif...
Shared terms: math, proof, self
-
WeCom (Enterprise WeChat) Channel Plugin for Claude Code — enables two-way messaging between Claude Code sessions and WeCom users via AI...
Shared terms: self, two, session
-
Build and publish Workiom vibe apps — self-contained pages that run inside a Workiom workspace and read and write its lists using the vie...
Shared terms: contained, self, session
-
Cross-session memory for Claude Code projects via two in-repo docs: SESSION_PRIMER.md (current state) and LEARNINGS.md (hard-won bugs).
Shared terms: hard, two, session
-
Turn AI coding sessions into shareable, interactive replays. Auto-generates GitHub PR artifacts (markdown + animated GIF), self-contained...
Shared terms: contained, self, session
Files & skills
math-proof · catalog manifest
Saved declaration
{
"name": "math-proof",
"author": {
"name": "Anthropic",
"email": "support@anthropic.com"
},
"source": "./plugins/math-proof",
"category": "math",
"homepage": "https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-proof",
"description": "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."
}
math-proof · catalog manifest
Saved declaration
{
"name": "math-proof",
"author": {
"name": "Anthropic",
"email": "support@anthropic.com"
},
"description": "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."
}
plugin.json observed Nov 6, 2026 · 10:40 UTC. Manifest source ↗
Catalog declarations and available plugin.json metadata are saved. Referenced skills and executable source files are not downloaded or tested. Missing components in a manifest do not prove that the plugin has none.
Technical details
- Sources
- Official
- First seen
- Oct 3, 2026 · 21:29 UTC
- Last seen
- Nov 7, 2026 · 12:00 UTC
- Latest observed change
- Oct 3, 2026 · 22:13 UTC
- Collection status
- Listed
- Reported installs
- Not provided
Installation counts are source-reported, not independently verified active users. Observation dates are not release dates.
Download plugin data (JSON)Plugin history: freshly prepared. Prepared . Refreshed when catalog data changes or after 6 hours. Your account and Follow status are live.