← Claude plugins
CLAUDE PLUGIN

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

Claude Code installation documentation

Source evidence

Listing and manifest JSON

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.