MCP Server Directory

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

Pasal.id — Indonesian Law io.github.Aturio/pasal-id-mcp

Search Indonesian laws, resolve citations, read articles, and find Constitutional Court decisions.

Knowledge Raven com.knowledge-raven/mcp

Make your knowledge agent-ready. One MCP endpoint, 5 connectors, 3 search modes.

DNS Lookup API io.github.Br0ski777/dns-lookup

DNS record lookup — A, AAAA, MX, TXT, CNAME, NS via Cloudflare. x402 micropayment.

Search multiple indices, index data, and get personalized recommendations

Service that lets AI Agents search, register, and configure domains

agentgauge io.github.GlassCaseOfEmotion/agentgauge

Scan any website's AI readiness: AI search visibility and AI agent usability. Free, no auth.

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

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

Norvstar — Professional Identity MCP Server com.norvstar/mcp-server

Query professional profiles, search candidates, and get AI-powered summaries and job fit analysis.

copass-remote com.olane/copass-remote

Knowledge graph ingestion, entity search, ontology analysis, and CoPass scoring.

SocialDataX 微博 Weibo MCP com.52choujiang/weibo-insights

Weibo user/post search, suggestions, trends, details, comments, likes/reposts, transcript.

IRS 990 Nonprofit Data com.olyport/irs-990

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

OnePageCRM com.onepagecrm/mcp

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

Chemical safety intelligence — 25 tools: compatibility, hazards, PPE, compliance, SDS lookup

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

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

MCP server for Pakistani law: search and cite federal statutes and Supreme Court judgments.

Assetzaar Marketplace com.assetzaar/marketplace

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

Find & fetch research datasets across 21 archives, omics registries, and literature sources.

Ship24 Tracking com.ship24/tracking-mcp

Track parcels across 2,500+ carriers and 3PLs: live delivery status, event history, carrier lookup.

Cross-account Blumira findings, detections, and agents in one offline-searchable store.

Bushdrum Events com.bushdrum/events

City-scoped Bushdrum event search for agents with list_cities and search_events.

CalmSEO com.calmseo/seo-mcp

SEO MCP server for keyword research, SERP analysis, audits, and Search Console workflows.

MCP server for Qingkuai (.qk) — docs search, syntax check, compilation, and formatting tools.

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