Skip to content
MCP ecosystem / Intelligence

Explore MCP servers

Discover Model Context Protocol servers from the official registry. Publisher metadata with transparent provenance — not a security certification.

Official MCP RegistryLast indexed: 2026-11-06 04:17:03 UTC
Active56510
Remote38180
Packages17674

Matching servers

3 506 records · Registry listing ≠ independent verification by NexIP

Page 10 / 176
Local package
Listed in registry

io.github.sathergate/searchcraft

io.github.sathergate/searchcraft

Full-text search for Next.js. BM25 scoring and fuzzy matching, no external service.

Why this topic? search Keyword in publisher description
Publisher-reported v0.1.1
Remote HTTP
Listed in registry

io.github.sapiom/mcp-server

io.github.sapiom/mcp-server

AI agent tools: web search, browser, 400+ LLMs, image gen, TTS, phone verify. Pay-per-use.

Why this topic? search Keyword in publisher description
Publisher-reported v1.0.0
Local package
Listed in registry

io.github.sandraschi/leanforge-mcp

io.github.sandraschi/leanforge-mcp

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Why this topic? search Keyword in publisher description
Publisher-reported v0.1.1
Local package
Listed in registry

io.github.sandoreclegane/inkvault

io.github.sandoreclegane/inkvault

Local-first AI memory: search your Claude Code, Codex, Claude desktop, Pieces and browser history.

Why this topic? search Keyword in publisher description
Publisher-reported v0.3.4
Local package
Listed in registry

io.github.sairam0424/mindforge

io.github.sairam0424/mindforge

Read the MindForge engine over MCP: knowledge graph, project health, and audit log.

Why this topic? knowledge Keyword in publisher description
Publisher-reported v11.9.8
unknown
Listed in registry

io.github.sachin-shetty/egnyte-ai-samples

io.github.sachin-shetty/egnyte-ai-samples

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

Why this topic? search Keyword in publisher description
Publisher-reported v1.0.2
Local package
Listed in registry

io.github.ryanthegentry/402index

io.github.ryanthegentry/402index

Search 15,000+ paid API endpoints across the L402, x402, and MPP protocols on 402index.io

Why this topic? search Keyword in publisher description
Publisher-reported v0.3.0
Local package
Listed in registry

io.github.rupinder2/mcp-orchestrator

io.github.rupinder2/mcp-orchestrator

Aggregates tools from multiple MCP servers with unified BM25/regex search and deferred loading.

Why this topic? search Keyword in publisher description
Publisher-reported v0.1.2
Local package
Listed in registry

io.github.rupinder2/mcp-gateway

io.github.rupinder2/mcp-gateway

Aggregates tools from multiple MCP servers with unified BM25/regex search and deferred loading.

Why this topic? search Keyword in publisher description
Publisher-reported v0.1.1