Olympiad solving
SkillDev toolsSolve competition mathematics problems with rigorous proofs. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', or 'find all functions satisfying'.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Olympiad solving skill
What this skill tells your AI
The instructions your AI receives, as published by stbenjam/skillsaw in tests/fixtures/content-description-routing/.claude/skills/activates-when-asked/SKILL.md and read by ahel’s review.
Work the problem on paper first: restate what is given, list candidate techniques, and only then commit to a proof. Every step must be justified; a proof that skips a case is not a proof.
Signals
- GitHub stars
- 66
- Forks
- 15
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
activates-when-asked- Source
- github.com/stbenjam/skillsaw