A skill for competition math that avoids biased self-verification. Verifiers see only the clean proof, not the reasoning trace. It abstains rather than bluffs.
O que ela faz
Onde Math Olympiad roda e o que acrescenta, segundo a documentação
Context-isolated verification of proofs
Pattern-armed adversarial checks
Calibrated abstention instead of bluffing
Presentation pass producing LaTeX/PDF after verification
Quando usar
Boa adequação
Solving IMO, Putnam or USAMO style problems
Verifying a proof
Não indicado para
Questions that need confident answers on every problem; it may report no confident solution
Como instalar o Math Olympiad
Você precisa de: Claude Code
Run Claude Code
Run /plugin install math-olympiad@claude-plugins-official
Ask: Solve this IMO problem: [statement]
The skill also triggers on 'olympiad', 'Putnam', 'verify this proof'
Limitações
README claims 17/18 IMO+Putnam 2025 problems solved; evaluation data is in a separate repo
Ferramenta de programação agêntica da Anthropic que lê sua base de código, edita arquivos e executa comandos pelo terminal, por IDEs, pelo app desktop ou pelo navegador.
O plano gratuito termina em: Não há plano gratuito: o Claude Code está incluído nas assinaturas pagas do Claude (Pro, Max, Team, Enterpris…
