← Browse
math-olympiad
mrkhachaturov ★ 0
This plugin solves competition mathematics problems (IMO, Putnam, USAMO) and verifies proofs using adversarial verification techniques that catch errors self-verification misses. It uses context-isolated verifiers with pattern-armed checks to avoid false positives and abstains from answering when not confident.
Install
> /plugin marketplace add mrkhachaturov/ccode-personal-plugins/tree/HEAD/plugins/math-olympiad
> /plugin install math-olympiad
Source: https://github.com/mrkhachaturov/ccode-personal-plugins/tree/HEAD/plugins/math-olympiad
What it's made of
1 skill
- Commands
- 0
- Agents
- 0
- Skills
- 1
- MCP servers
- 0
- Hooks
- 0
What it needs & plugs into
- API keys
- none
- Paid services
- none detected
- External tools
- none
- Talks to
- nothing external detected
Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.
Is this your plugin?
Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (mrkhachaturov).