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 |