math-olympiad

Verify and detect errors in competition math proofs.

3|Updated May 3, 2026

Search Tags:#verification #reasoning #math #competition #proof checking #Olympiad

Ready to run

npx skills add https://github.com/chloebrett/slay --skill math-olympiad-chloebrett

💬 Prompt for ChatGPT / Claude Chat▼

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

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill enables precise solving and verification of complex competition math problems, reducing errors in reasoning.

Core Features & Use Cases

Problem Solving: Tackle difficult IMO, Putnam, USAMO, and AIME problems through adversarial reasoning and structured workflows.
Verification & Validation: Analyze solutions for logical correctness, detect gaps, and confirm results using pattern-based checks.
Use Case: A student prepares solutions to Olympiad questions, then uses this Skill to identify hidden fallacies and improve the clarity of their proofs.

Quick Start

Ask the AI to verify and improve your Olympiad solutions, or to check the correctness of a submitted proof.

Frequently Asked Questions about math-olympiad

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

FAQPage Schema

How do I verify and check the correctness of my Olympiad math proofs?▼

You can verify Olympiad math proofs by submitting them for detailed reasoning and pattern-based adversarial checks. This process identifies hidden fallacies, detects logical gaps, and confirms whether your competition solutions are sound and free of subtle mistakes.

Can I use this to solve IMO, USAMO, and Putnam competition problems?▼

Yes, you can solve IMO, USAMO, Putnam, and AIME problems through structured workflows and adversarial reasoning. The system tackles difficult competition math questions by breaking down complex problems to ensure logically sound derivations.

What is the best way to detect logical gaps in advanced math competition solutions?▼

The best way to detect logical gaps is applying pattern-based adversarial checks to analyze your solutions. This validation method scrutinizes advanced proof analysis to confirm correctness and highlight any hidden fallacies in your mathematical reasoning.

Does this proof checking method work for high-stakes competition math without external tools?▼

Yes, proof checking works using reasoning-only processes to validate competition math problems. It requires no external dependencies, relying entirely on internal structured workflows and adversarial reasoning to ensure your mathematical derivations are logically sound.

How do I identify subtle mistakes in my AIME or Olympiad solutions before submission?▼

To identify subtle mistakes, analyze your AIME or Olympiad solutions using detailed reasoning and error detection. This method scrutinizes your proof's logical flow to confirm correctness and expose hidden fallacies before high-stakes submission.