math-olympiad
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses
Overview
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses….
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.
Craft production-grade frontends with distinctive design. Generates polished code that avoids generic AI aesthetics.
Claude learns brainstorming, subagent development with code review, debugging, TDD, and skill authoring through Superpowers.
Upstash Context7 MCP server for live docs lookup. Pull version-specific docs and code examples from source repos into LLM context.