math-olympiad

Solve competition math problems with adversarial verification and pure reasoning.

1|Updated Apr 30, 2025

Search Tags:#pdf #verification #reasoning #latex #adversarial #olympiad #math-proofs

One-click install

npx skills add https://github.com/lucasfth/config --skill math-olympiad-lucasfth

Or copy as Structured Prompt for Agent▼

Please help me install this Agent Skill.
Skill: math-olympiad
Source: https://github.com/lucasfth/config/tree/main/.claude/plugins/marketplaces/claude-plugins-official/plugins/math-olympiad/skills/math-olympiad
Command: npx skills add https://github.com/lucasfth/config --skill math-olympiad-lucasfth

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', 'verify this competition proof', 'find a counterexample', or 'is this proof correct', or for any problem with 'IMO', 'Putnam', 'USAMO', 'olympiad', or 'competition math' in it. Uses pure reasoning (no tools) — then a fresh-context adversarial verifier attacks the proof using specific failure patterns, not generic 'check logic'. Outputs calibrated confidence — will say 'no confident solution' rather than bluff. If LaTeX is available, produces a clean PDF after verification passes.

Core Features & Use Cases

Adversarial verification workflow for Olympiad-style problems (IMO, Putnam, USAMO, AIME) with self-check and fresh-context verifier.
Generates robust solution with final presentation in LaTeX/PDF when possible.
No external tools; strict no-web policy; outputs either VERIFIED solution or "no confident solution" with partial notes.

Quick Start

Prompt the system with a complete problem statement and request to solve; it will return a fully verified solution, including a PDF if LaTeX is available.

Frequently Asked Questions about math-olympiad

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I verify an IMO competition math proof for correctness?▼

You can solve olympiad inequalities by applying pure mathematical reasoning without external tools, followed by an adversarial verification stage that attacks the logical steps before confirming the final proof's validity.

Can I check if a Putnam or USAMO proof has logical gaps?▼

Yes, competition math problems can be solved using pure reasoning and an adversarial verification pipeline, operating without external tools to catch subtle reasoning errors self-verification typically misses.

What is the best way to find a counterexample for an olympiad math problem?▼

The Skill outputs either a fully verified solution or a no confident solution message with partial notes, ensuring calibrated confidence rather than bluffing when mathematical gaps remain unresolved.

Does olympiad math verification support LaTeX and PDF output?▼

No, this approach uses strict pure reasoning without external tools or web access, relying entirely on an internal multi-stage solving and adversarial verification workflow to validate mathematical proofs.