MCP Server Directory

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Code indexing MCP: 15 tools, 10 languages, hybrid search, call graphs, O(1) retrieval.

Search multiple indices, index data, and get personalized recommendations

Connect your AI assistant to email — read, search, send, and organise via IMAP/SMTP.

MCP server for Obsidian Smart Connections. Semantic search using your vault's embeddings.

Sofya co.sofya/sofya

Web search, fetch, extract, and research for AI agents. Markdown output + AI-synthesized answers.

GlobKurier Shipping MCP io.github.GlobKurier-pl/mcp-server

Track shipments and search shipping products (DPD, InPost, DHL, FedEx, UPS, GLS) via GlobKurier API.

IRS 990 Nonprofit Data com.olyport/irs-990

Nonprofit lookup and IRS 990 filing data: revenue, assets, and compensation via ProPublica

hometeam-directory io.github.JajuanX/hometeam-directory

Search Black-owned businesses in South Florida by category, neighborhood, or need.

OnePageCRM com.onepagecrm/mcp

Create, search, update, and manage data in OnePageCRM.

Prowlo — Reddit & X for AI agents com.prowlo/reddit-x

Reddit & X data for AI agents over MCP. Semantic search, hosted, no Reddit API.

Gmail integration with OAuth authentication, message search, batch operations, and Sheets export

Assetzaar Marketplace com.assetzaar/marketplace

Search Assetzaar's catalog of UI components, agent skills, SaaS kits and automations.

React dashboard components — API lookup, code generation, and prop validation for AI tools.

Serpstat com.serpstat/mcp

Automate your daily SEO tasks and get results in a few seconds with Serpstat SEO Tools MCP

Email Inbox API + Sending by Sendmux io.github.Sendmux/sendmux-mcp

AI email inbox and sending tools with attachments, search, live events, and webhooks.

brainCloud MCP com.braincloudservers/braincloud-mcp

Manage brainCloud apps, cloud code, hooks and servers; API lookups to help generate client code.

Firecrawl io.github.pipeworx-io/firecrawl

Firecrawl MCP — wraps the Firecrawl API (firecrawl.dev) for web scraping / crawling / search…

castles com.thecastlemap/castles

Castles, fortresses, palaces and ruins worldwide: search, nearby, fame ranking, statistics. CC0.

egnyte-remote io.github.ptyagiegnyte/egnyte-remote

Secure integration between AI tools and Egnyte content with search, analysis, and workflow tools.

HamQTH.com MCP server. Free callsign lookup, DX spots, RBN data, SAVP verification.

Elasticsearch MCP Server for ES 5.x-9.x with a query harness, field validation and full API access

Web scraping, search, monitoring, and HTML-to-markdown for AI agents

Semantic code search for AI agents — hybrid BM25+vector, call-graph, 20+ languages.