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
87 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
Guide for building high-quality MCP servers in Python (FastMCP) or Node/TypeScript so LLMs can use external APIs.
by Microsoft
Free remote MCP server giving AI assistants search and fetch access to official Microsoft Learn docs and code samples.
by MongoDB
Official MongoDB MCP server: query and manage MongoDB databases and Atlas from an AI agent, with a read-only mode.
by Romuald Czlonkowski
Community MCP server giving AI assistants n8n node docs, templates and workflow management tools.
by Neon
Neon's official MCP server: manage Neon Postgres projects, branches, schemas and migrations, and run queries in natural language.
by Perplexity
Official Perplexity MCP server: web search, quick answers, reasoning and deep research via the Perplexity API.
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 Microsoft
Microsoft's MCP server for browser automation through Playwright accessibility snapshots, no vision model needed.
by Anthropic
Toolkit with 7 skills and /plugin-dev:create-plugin for building Claude Code plugins.
by PostHog
PostHog's official hosted MCP server: analytics, SQL, feature flags, experiments and error tracking from your AI agent.
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.
compare>