Loading MCP servers…
Every server on the official MCP Registry, refreshed hourly. Official servers come first, then the most used. Showing every server, including ones with no package or endpoint yet.
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Read-only Snapp! Shop marketplace: search, categories, seller offers in Toman, reviews.
Check whether AI assistants recommend a product, and search or compare 3,000+ AI tools.
Search inside digitised books, browse the Internet Archive catalogue and read Wayback captures.
Read MyFigureCollection.net: search figures, JAN barcode lookup, shop prices, collections and clubs.
Budgeted research with cited evidence and visible payment state on the selected Arc network.
Search, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.
Search Thousands of jobs, Thousands of companies. MCP for Claude, ChatGPT, Codex and Cursor.
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas