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.
Check that your Claude client is supported and that you installed the plugin in the workspace or project you have open. In Claude Code, run /reload-plugins or reopen the session.