agent template

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.

Anthropic0+ installsVetted

Install

Run this command

/plugin marketplace add anthropics/claude-plugins-official /plugin install math-proof@claude-plugins-official

Works with

claude code

Manual steps

In Claude Code, add the official marketplace once with `/plugin marketplace add anthropics/claude-plugins-official`, then install this plugin with `/plugin install math-proof@claude-plugins-official`.

View source
By Anthropic

Frequently asked questions

What is the Math Proof agent template?

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.

How do I install Math Proof?

Run this in your terminal:

/plugin marketplace add anthropics/claude-plugins-official /plugin install math-proof@claude-plugins-official
Which AI tools does Math Proof work with?

It works with claude_code.

Who made Math Proof?

Anthropic.

Is Math Proof free?

Yes, it is free to use.

Related assets

More curated picks in Data & Analytics.

All Math Proof alternatives →
agent templateclaude_code
/plugin marketplace add anthropics/claude-plugins-official
/plugin install math-olympiad@claude-plugins-official
Math Olympiad
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack p…0+
agent templateclaudechatgptgemini
Natural language to SQL with schema awareness — joins, CTEs, window functions.
SQL Query Generator Agent
Natural language to SQL with schema awareness — joins, CTEs, window functions.0+
agent templateclaudechatgptcopilot
Analyzes slow queries — index suggestions, rewrite, explain-plan reading.
SQL Query Optimizer Agent
Analyzes slow queries — index suggestions, rewrite, explain-plan reading.0+
agent templateclaudechatgptcopilot
From a business question, suggests visuals, layout, DAX, and data model.
Power BI Report Builder Agent
From a business question, suggests visuals, layout, DAX, and data model.0+
agent templateclaudechatgptcursor
Builds a data app from a dataset — filters, charts, KPIs, layout.
Streamlit App Generator Agent
Builds a data app from a dataset — filters, charts, KPIs, layout.0+
agent templateclaudechatgptgemini
Asks the question, writes the query, runs analysis, explains the insight.
Data Analyst Agent
Asks the question, writes the query, runs analysis, explains the insight.0+

Audit before you install

Run any source through our checks - AI visibility, security, performance, and stack detection.

Automated Web Security Scan

security

PageSpeed Analyzer

performance

AI Content Quality Test

arabic content

AI Agent / MCP Server Tester

ai testing

Site Stack Detector

migration

AI SEO / AEO / GEO Audit

ai visibility

llms.txt Generator

ai visibility

Readability Score

arabic content

Schema / JSON-LD Builder

ai visibility

AI Cost Calculator

ai testing

Headline Analyzer

arabic content

More in Data & Analytics