Skill by anthropics · 32,170 stars
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.
/plugin install math-olympiad@claude-plugins-official