math-proof is a plugin with two skills for hard mathematics problems, each ending in a self-contained proof.md.

What output does math-proof produce?

Each skill ends in a self-contained proof.md document.

Can I use both skills on the same problem?

Yes, you can invoke either skill as needed, but each run produces its own proof.md.

math-proof

PackFiles & storage

math-proof is a plugin that lets your agent work through hard math problems step by step and produce a written proof document. It provides two skills, each ending in a self-contained proof.md. /math-proof:solo has the session work the problem itself in stages with a notes file, while /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.

Unavailable. A Claude Code plugin. It installs in Claude Code, and ahel does not serve packs through its connector yet.

In Claude Code, run:

/plugin install math-proof@claude-plugins-official

It installs from Anthropic's official plugin marketplace.

What your AI can do with it

Run /math-proof:solo to work a problem in stages with a notes file
Run /math-proof:siege for hours-long rounds of judge and worker sub-agents
Produce a self-contained proof.md at the end of either skill
State plainly what is and is not proved in the siege output

Getting started

Install the math-proof plugin in your agent environment.
Ensure your agent has access to a filesystem for notes and proof.md.
Invoke /math-proof:solo or /math-proof:siege with a math problem.
Review the generated proof.md for the written proof.

Signals

GitHub stars: 37k
Forks: 4k
Last commit: Sep 2026

Questions

What is math-proof?: math-proof is a plugin with two skills for hard mathematics problems, each ending in a self-contained proof.md.
How does /math-proof:solo work?: /math-proof:solo has the session work the problem itself in stages with a notes file.
How does /math-proof:siege work?: /math-proof:siege works on the problem for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.
What output does math-proof produce?: Each skill ends in a self-contained proof.md document.
Can I use both skills on the same problem?: Yes, you can invoke either skill as needed, but each run produces its own proof.md.

Advanced

Item type: plugin
Key: math-proof-anthropics
Source: github.com/anthropics/claude-plugins-official

github.com/anthropics/claude-plugins-official