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 07:17:02 UTC
Active56570
Remote38225
Packages17688

Matching servers

2 138 records · Registry listing ≠ independent verification by NexIP

Page 22 / 107
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

trelix

io.github.sairam0424/trelix

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

Why this topic? search Keyword in publisher description
Publisher-reported v3.5.1
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
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

aus-accounting-mcp

io.github.ryanduguid/aus-accounting

Reviews, 14 bounded tax and super worksheets, cited retrieval from your local Markdown. Not advice.

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

EWIGSC Product Discovery

io.github.rww90931-ops/product-discovery

Search and compare EWIGSC wigs, toppers, and extensions; find first-party care guidance.

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

Engram

io.github.rwnalds/engram

Git-backed markdown memory for AI agents; search hides superseded and archived notes.

Why this topic? search Keyword in publisher description
Publisher-reported v0.1.2
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
Local package
Listed in registry

Fleets

io.github.runFleets/cli

Multi-site analytics as tools: GA4, Search Console, Cloudflare edge, PageSpeed, insights.

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