Claude Code plugin

math-proof

claude-plugins-official/math-proof

Checked 26 Oct 2026, 08:30 UTC · Listing refreshed from the official marketplace

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

Website Source

At a glance

Type

Claude Code plugin

Last checked

26 Oct 2026, 08:30 UTC

Install it in Claude Code

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

Browse

• Claude tools

Related plugins

• math-olympiad
  Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses.…
• dynatrace
  Dynatrace observability skills: DQL query patterns, application and infrastructure monitoring, log analysis, problem…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents