Skip to main content
All
MCPs
Browse
Categories
Best of
Stack builder
Tools
Config generator
Build client JSON for any server
Config validator
Catch mistakes before you restart
Playground
Call a live MCP server from the browser
Protocol inspector
Read tool schemas and JSON-RPC
Token calculator
Measure tool-definition context cost
OpenAPI → MCP
Turn an API spec into a server
Compare servers
Side-by-side on the facts
All developer tools
Free, no sign-in required
Learn
What is MCP?
The protocol in five minutes
Guides
Install, build, deploy, secure
Client setup
Claude, Cursor, Windsurf, VS Code
Security
What to check before installing
Agent prompts
Copy-paste prompts that use MCP
State of MCP
Live ecosystem stats
Blog
Releases, deep dives, roundups
Build your own server
From zero to listed in an afternoon
Search servers…
Ctrl
K
Log in
Submit server
👨💻 Code Execution
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Install via AllMCPs
allmcps.com
