math-olympiad

Solve IMO, Putnam, USAMO, and AIME problems with adversarial verification.

1|3|Updated Apr 9, 2026

Search Tags:#deep learning #mathematics #proof verification #adversarial verification #olympiad problems

Ready to run

npx skills add https://github.com/goodnessibeh/ai-dev-boilerplate --skill math-olympiad-goodnessibeh

💬 Prompt for ChatGPT / Claude Chat▼

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

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires scripts/check_latex.sh, scripts/compile_pdf.sh, and includes scripts (resource) and references (resource) and assets (resource) components.

What problem does it solve?

This Skill solves complex mathematical problems (IMO, Putnam, USAMO, AIME) with high accuracy, utilizing adversarial verification to catch errors self-verification misses.

Core Features & Use Cases

Adversarial Verification: Provides a higher level of accuracy by checking solutions with fresh context and specific failure patterns.
Proof Presentation: Offers a clean PDF output after verification passes.
Deep Mode: For problems that require more time and computation, this mode allows for deeper analysis without the constraints of time.
Use Case: A user presents a proof for a challenging mathematical problem, and the skill verifies its correctness.

Quick Start

Solve this math problem: <insert problem statement here>

Frequently Asked Questions about math-olympiad

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

FAQPage Schema

How do I verify a mathematical proof for IMO or Putnam problems?▼

You verify a mathematical proof using adversarial verification, which checks solutions with a fresh context and specific failure patterns to catch errors that standard self-verification misses. This ensures high accuracy for IMO and Putnam problems.

What is adversarial verification in mathematical problem solving?▼

Adversarial verification in mathematical problem solving is an error-catching mechanism that evaluates solutions using a fresh context and specific failure patterns. It provides a higher level of accuracy than standard self-verification methods.

Can I solve AIME problems that require deep computation and more time?▼

Yes, you can solve AIME problems requiring deep computation using deep mode. Deep mode allows for deeper analysis without the constraints of time, specifically designed for problems requiring more time and computation.

Does the math problem solver output a clean PDF after verification passes?▼

Yes, the math problem solver provides a clean PDF output after verification passes. It utilizes LaTeX compilation scripts to generate the final proof presentation for verified mathematical solutions.

How do I solve complex olympiad mathematics problems step by step?▼

To solve complex olympiad mathematics problems, input the problem statement and activate the solver. It processes the solution using adversarial verification to check correctness, and upon passing, outputs a clean PDF presentation.

What types of olympiad problems does this approach support?▼

This approach supports complex mathematical olympiad problems including IMO, Putnam, USAMO, and AIME. It solves these with high accuracy by utilizing deep mode and adversarial verification for robust proof checking.