by AnthropicMath
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 install math-proof@claude-plugins-official# Claude Code adds the claude-plugins-official marketplace automatically the first time you start an interactive session. Review what a plugin includes before installing it.
by Anthropic
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.