Math Olympiad

PluginAI & models

Lets your agent solve competition math problems and verify the proofs for errors.

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.

Delivery for this kind is on the roadmap — not serving yet. You can still add it. It stays paused until ahel can serve it.