math-olympiad
ClaudePlugin
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.
Best rank—Not in a ranked chart
Charts—
LaunchedMar 30