Category: Math
| Name | Description | Category | Author |
|---|---|---|---|
| math-olympiad | This tool solves competition-level math problems (IMO, Putnam, USAMO) using adversarial verification, where independent verifiers probe proofs for specific flaws, favoring calibrated abstention over false confidence. | Math | Anthropic |
| math-proof | Two approaches for tackling difficult math problems, both producing a standalone proof.md: one has a single session solve it progressively using notes; the other runs prolonged rounds of judge and worker sub-agents, clearly distinguishing proven from unproven claims. | Math | Anthropic |