Math Olympiad
Competition maths with adversarial verification and calibrated abstention instead of bluffing.
Install
OfficialClaude Code: /plugin marketplace add anthropics/claude-plugins-official → /plugin install math-olympiad@claude-plugins-official
IMO, Putnam ya da USAMO düzeyinde bir problem ispatla çözülürken
- Author
- Anthropic
On olympiad problems the dangerous failure is a proof that reads well and is wrong, and self-verification tends to miss exactly those. This plugin sends the proof to fresh-context verifiers instructed to attack it along known failure patterns, and it prefers a calibrated 'I cannot show this' over a confident non-proof. The design generalises: the interesting part is the separation between the solver and the sceptic.
Similar skills
Performance Optimization
SkillProfile first, fix the measured bottleneck, then measure again.
Error Handling Patterns
SkillDecides which failures are values and which are exceptions.
Learning Output Style
SkillInteractive mode that hands the keyboard back at decision points instead of writing everything.
Comments(0)
Sign in to comment