Explore MCP servers
Discover Model Context Protocol servers from the official registry. Publisher metadata with transparent provenance — not a security certification.
Explore topics and recommendations
Find the right direction
Curated search shortcuts inferred from publisher descriptions, not independently verified capabilities.
Favorites stay in this browser. Save a server to see topic suggestions.
Press / to focus search
Matching servers
18 593 records · Registry listing ≠ independent verification by NexIP
io.github.sandraschi/leanforge-mcp
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
io.github.sandraschi/grandorgue-mcp
io.github.sandraschi/grandorgue-mcp
GrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m...
io.github.sandraschi/godot-mcp
io.github.sandraschi/godot-mcp
Godot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an...
Project Context
io.github.sandovalrr/project-context
Safely manage repository-scoped issues across Linear, GitHub Issues, and Jira Cloud.
io.github.sandoreclegane/inkvault
io.github.sandoreclegane/inkvault
Local-first AI memory: search your Claude Code, Codex, Claude desktop, Pieces and browser history.
io.github.sandeepbazar/ocm-mcp-server
io.github.sandeepbazar/ocm-mcp-server
Guardrailed fleet ops for AI agents: multi-cluster Kubernetes via OCM with policy, approval, audit.
SandBase Harness
io.github.sandbaseai/sandbase-harness
Stdio MCP bridge for SandBase Harness agents, sessions, turns, artifacts, and cancellation.
Hyperliquid / HyperEVM
io.github.sand0vvv/hyperevm-mcp
Read-only Hyperliquid and HyperEVM data: yields, protocols, fees, markets, funding, depth.
io.github.sanchirico/camacho-mcp
io.github.sanchirico/camacho-mcp
Persistent tmux terminal for AI agents — real-time spectating, SSH host-group dispatch.
io.github.san-techie21/astracipher
io.github.san-techie21/astracipher
Cryptographic identity for AI agents: W3C DIDs, Verifiable Credentials, post-quantum crypto
Vestige
io.github.samvallad33/vestige
Causal Proof Engine for AI agents: signed log, zero vectors, failures traced to their cause.
ShiftZap Restaurant Scheduling
io.github.samueldesignsa/shiftzap
Manage restaurant employee scheduling, time-off, tips, and payroll via ShiftZap.
io.github.samouh-waleed/prompyai
io.github.samouh-waleed/prompyai
Scores your prompts against your real codebase — context-aware prompt intelligence
io.github.sammyboi81/sentarion
io.github.sammyboi81/sentarion
Governed MCP orchestration, tamper-evident memory, and Claude Code Seatbelt hooks.
ArkHive MCP
io.github.sammyboi81/arkhive
Tamper-evident memory + governance MCP for Claude Code, Cursor, Codex. Ships the Seatbelt kit.
Algernon MCP
io.github.sammyboi81/algernon
Fan a goal out to cheap parallel LLM workers on your own key or a free local Ollama. Keep your mind.
parbaked
io.github.saml7n/parbaked
Scaffold invite-only Python/FastAPI apps: auth, admin dashboard, dev server, deploy to fly.io.
io.github.samith14/mcp-cantina
io.github.samith14/mcp-cantina
A bar for AI agents at mosaisley.com — pours, wall notes, jukebox, tips. x402-paid where priced.
Exoscale MCP Server
io.github.samisouabni/exoscale-mcp
MCP server for managing Exoscale cloud infrastructure — compute, Kubernetes, DNS, databases, storage
io.github.samihalawa/email-smtp-imap-mcp
io.github.samihalawa/email-smtp-imap-mcp
Multi-account SMTP/IMAP email tools: search, read, send, reply, forward, flags and folders.