Math Olympiad
by Anthropic
Solves competition math (IMO, Putnam, USAMO) with context-isolated adversarial proof verification.
- Does
- 4 things
- Install
- 4 steps
- Works with
- Claude Code
Skills · plugins · MCP · rules114 official
Pick your host to see what plugs into it. Every entry is documented from its official repository or docs, with install steps, permissions and limits.
Claude Code84 extensions
OpenAI Codex14 extensions
Cursor32 extensions
Windsurf14 extensions
Gemini CLI9 extensions
GitHub Copilot1 extensions
Any MCP client46 extensions
42 extensions · Clear filters
by Anthropic
Solves competition math (IMO, Putnam, USAMO) with context-isolated adversarial proof verification.
by Anthropic
Two skills for research-level math: solo (single session) and siege (hours of judge and worker sub-agents), ending in proof.md.
by Anthropic
Three skills for designing and building MCP servers: remote HTTP, MCP apps with UI widgets, and MCPB packaging.
by Anthropic
Walks you through connecting Claude to a private MCP server via an Anthropic MCP tunnel using Docker Compose.
by Anthropic
PHP (Intelephense) language server for Claude Code: code intelligence and diagnostics for .php files.
by Anthropic
Creates self-contained HTML playgrounds with controls, live preview and a copyable prompt output.
by Anthropic
Toolkit with 7 skills and /plugin-dev:create-plugin for building Claude Code plugins.
by Anthropic
Six review agents: comments, tests, error handling, type design, code quality, simplification.
by Anthropic
Builds and publishes a living tabbed status page for a multi-workstream project, refreshed to the same URL.
by Anthropic
Python (Pyright) language server for Claude Code: code intelligence and diagnostics for .py files.
by Anthropic
Self-referential loops via a Stop hook: same prompt repeated until a completion promise.
by Anthropic
Rust language server for Claude Code: code intelligence and diagnostics for .rs files.
by Anthropic
Security review for Claude-written code: pattern warnings, LLM diff review on Stop, agentic commit review.
by Anthropic
Generates an explorable HTML report of Claude Code token, cache and subagent usage from local transcripts.
by Anthropic
Swift (SourceKit-LSP) language server for Claude Code: code intelligence and diagnostics for .swift files.
by Anthropic
TypeScript/JavaScript language server for Claude Code: code intelligence and diagnostics for .ts files.
compare>