Plugins

math-olympiad

Anthropic

Claude

Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses....