Math Olympiad
par Anthropic
Solves competition math (IMO, Putnam, USAMO) with context-isolated adversarial proof verification.
- Fait
- 4 choses
- Installer
- 4 étapes
- Compatible avec
- Claude Code
Skills · plugins · MCP · règles114 officiel
Choisissez votre hôte pour voir ce qui s'y connecte. Chaque entrée est documentée à partir de son dépôt ou de sa documentation officielle, avec étapes d'installation, autorisations et limites.
Claude Code84 extensions
OpenAI Codex14 extensions
Cursor32 extensions
Windsurf14 extensions
Gemini CLI9 extensions
GitHub Copilot1 extensions
Any MCP client46 extensions
42 extensions · Effacer les filtres
par Anthropic
Solves competition math (IMO, Putnam, USAMO) with context-isolated adversarial proof verification.
par Anthropic
Two skills for research-level math: solo (single session) and siege (hours of judge and worker sub-agents), ending in proof.md.
par Anthropic
Three skills for designing and building MCP servers: remote HTTP, MCP apps with UI widgets, and MCPB packaging.
par Anthropic
Walks you through connecting Claude to a private MCP server via an Anthropic MCP tunnel using Docker Compose.
par Anthropic
PHP (Intelephense) language server for Claude Code: code intelligence and diagnostics for .php files.
par Anthropic
Creates self-contained HTML playgrounds with controls, live preview and a copyable prompt output.
par Anthropic
Toolkit with 7 skills and /plugin-dev:create-plugin for building Claude Code plugins.
par Anthropic
Six review agents: comments, tests, error handling, type design, code quality, simplification.
par Anthropic
Builds and publishes a living tabbed status page for a multi-workstream project, refreshed to the same URL.
par Anthropic
Python (Pyright) language server for Claude Code: code intelligence and diagnostics for .py files.
par Anthropic
Self-referential loops via a Stop hook: same prompt repeated until a completion promise.
par Anthropic
Rust language server for Claude Code: code intelligence and diagnostics for .rs files.
par Anthropic
Security review for Claude-written code: pattern warnings, LLM diff review on Stop, agentic commit review.
par Anthropic
Generates an explorable HTML report of Claude Code token, cache and subagent usage from local transcripts.
par Anthropic
Swift (SourceKit-LSP) language server for Claude Code: code intelligence and diagnostics for .swift files.
par Anthropic
TypeScript/JavaScript language server for Claude Code: code intelligence and diagnostics for .ts files.
compare>