MCP Servers 3,440
Filtersactive
Leanforge
MCP server for AI-driven formal proof search in Lean 4
Iconoteka
Search 1298 open-source icons in 7 weights and 2 styles, and get paste-ready SVG.
TIDAL MCP
Search, analyze, organize, and safely modify TIDAL through 112 typed MCP tools.
Obsidian MCP Server
Filesystem-based MCP server for Obsidian vaults — read, search, and edit notes, no app required.
RSS and news feeds for agents
RSS, Atom and JSON feeds for agents: find a site's feed, read items as JSON, keyless news search.
MCP Finder
Find an MCP server for any task: searches the official registry, Smithery and npm; remote-first.
Geo Tool Check
Is this page readable for AI search? Crawler access, structure and citability checks, runs locally.
Clearhouse
One search across every agent registry: 100K+ MCP/A2A/x402 services, signed receipts.
upAPI
All public upAPI operations as MCP tools: web scraping, search, screenshots, PDF, OCR and more.
Percolate
Search the Percolate specialty coffee database: 1,100+ coffees with brew recipes and pairings.
LinkedMash
Search, label and export your LinkedIn saved posts, then draft, schedule and publish from them.
AI Readiness
Check if a website is visible to AI search (ChatGPT, Perplexity, Claude) and get per-gap fixes.
Realestateapi
RealEstateAPI MCP — property search, detail, and skip-trace (realestateapi.com)
Ashby
Search public Ashby job boards: resolve a company, read its openings and the pay it publishes.
Umbra open SAR archive
Search, preview, and measure Umbra open SAR from any MCP client.
Libraryofcongress
Search inside scanned US newspapers and browse the Library of Congress catalogue.
RedditAPIs
Reddit API as MCP tools: search, subreddits, posts, comments, users, monitors, webhooks, feedback.
Tacitus Server
Long-term memory for AI agents: local-first PKM with provenance and hybrid search.
Wikibooks Cookbook
Search the Wikibooks Cookbook, read a recipe and rescale it to any number of servings.
Recipes
Search six recipe sites at once, in French, English and Spanish, and scale quantities.
Idencify
Whole-repo code graph for AI agents: impact analysis, dead code, cycles, semantic search — 14 tools.
emap — Euskadi hyperlocal mobility
Basque Country hyperlocal mobility: ES/EU semantic search, routing, open-data POIs, peak-bagging.
