math-olympiad

Solve competition-math problems with adversarial proof verification.

28|5|Updated Jun 24, 2025

Search Tags:#confidence calibration #olympiad #proof verification #adversarial checking #math problem solving #LaTeX/PDF

One-click install

npx skills add https://github.com/thevibeworks/claude-code-docs --skill math-olympiad-thevibeworks

Or copy as Structured Prompt for Agent▼

Please help me install this Agent Skill.
Skill: math-olympiad
Source: https://github.com/thevibeworks/claude-code-docs/tree/main/content/github/claude-plugins-official/plugins/math-olympiad/skills/math-olympiad
Command: npx skills add https://github.com/thevibeworks/claude-code-docs --skill math-olympiad-thevibeworks

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill helps you solve competition-math problems (IMO, Putnam, USAMO, AIME) while reducing the risk of accepting subtly wrong proofs by using an adversarial verification workflow.

Core Features & Use Cases

Adversarial proof verification: Attacks cleaned candidate proofs in fresh context to catch failure modes that self-checking often misses.
Interpretation and workflow control: Forces an interpretation check before solving, then runs multiple candidate attempts in parallel for robustness.
Calibrated abstention: Returns no confident solution when verification thresholds are not met, instead of bluffing.

Quick Start

Use the math-olympiad skill to solve the problem by prompting your AI with “Solve this IMO problem: <paste the full statement>”.

Frequently Asked Questions about math-olympiad

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

FAQPage Schema

What is the best way to solve IMO and Putnam competition problems with AI?▼

No, calibrated abstention returns a no confident solution verdict when verification thresholds are not met, preventing the AI from bluffing on competition-math proofs.

Can I use this to check AIME inequalities and competition proofs?▼

No, it requires strict tool-free reasoning by default and relies on YAML-specified activation triggers, meaning no external mathematical software dependencies are needed.

How do I format math problem statements to get accurate proof verification?▼

Use math-olympiad for IMO, Putnam, USAMO, and AIME competition problems, while other education tools in the same category may better suit general math problem solving without adversarial proof requirements.

Why does my AI return no confident solution for a competition math problem?▼

Yes, it supports LaTeX and PDF references, allowing you to input formatted competition-math problem statements for accurate proof generation and verification.