MCP server directory

59888 public MCP servers from the official MCP Registry (26001 from verified domains, 33887 community). Search, filter, copy a setup snippet. Nothing here is installed by cosmic-mcp.

Community listing. Not installed or verified by cosmic-mcp. Check the source before you run anything.

Search servers

Search

Showing 841 to 870 of 1284

• mizar-mcp

  io.github.mrfentmen/mizar-mcp

  Mizar MCP: 20 real tools to read, check, lint, scaffold, build and run Mizar code.

  Community npmstdio developer-tools

• mlir-mcp

  io.github.mrfentmen/mlir-mcp

  MLIR MCP: 20 real tools to read, check, lint, scaffold, build and run MLIR code.

  Community npmstdio developer-tools

• mo5-mcp-server

  io.github.thlg057/mo5-mcp-server

  MCP server for Thomson MO5 C development, 6809, CMOC, SDK, toolchain.

  Community npmstdio developer-tools

• modelbound-mcp

  io.github.ModelBound/modelbound-mcp

  Local-first MCP server for agent skills. Validate, lint, diff, and convert across IDEs.

  Community npmstdio developer-tools

• modelica-mcp

  io.github.mrfentmen/modelica-mcp

  Modelica MCP: 20 real tools to read, check, lint, scaffold, build and run Modelica code.

  Community npmstdio developer-tools

• modula-2-mcp

  io.github.mrfentmen/modula-2-mcp

  Modula-2 MCP: 20 real tools to read, check, lint, scaffold, build and run Modula-2 code.

  Community npmstdio developer-tools

• modula-3-mcp

  io.github.mrfentmen/modula-3-mcp

  Modula-3 MCP: 20 real tools to read, check, lint, scaffold, build and run Modula-3 code.

  Community npmstdio developer-tools

• module-management-system-mcp

  io.github.mrfentmen/module-management-system-mcp

  Module Management System MCP: read, check, lint, scaffold and run code.

  Community npmstdio code-executiondeveloper-tools

• mojo-mcp

  io.github.mrfentmen/mojo-mcp

  Mojo MCP: 20 real tools to read, check, lint, scaffold, build and run Mojo code.

  Community npmstdio developer-tools

• mojulo

  io.github.zombico/mojulo

  A 3D compiler for coding agents: objects, worlds and games as small recipes. Emits Godot and STL.

  Community npmstdio developer-toolsgaming

• monkey-c-mcp

  io.github.mrfentmen/monkey-c-mcp

  Monkey C MCP: 20 real tools to read, check, lint, scaffold, build and run Monkey C code.

  Community npmstdio developer-tools

• monkey-mcp

  io.github.mrfentmen/monkey-mcp

  Monkey MCP: 20 real tools to read, check, lint, scaffold, build and run Monkey code.

  Community npmstdio developer-tools

• moocode-mcp

  io.github.mrfentmen/moocode-mcp

  Moocode MCP: 20 real tools to read, check, lint, scaffold, build and run Moocode code.

  Community npmstdio developer-tools

• moonbit-mcp

  io.github.mrfentmen/moonbit-mcp

  MoonBit MCP: 20 real tools to read, check, lint, scaffold, build and run MoonBit code.

  Community npmstdio developer-tools

• moonscript-mcp

  io.github.mrfentmen/moonscript-mcp

  MoonScript MCP: 20 real tools to read, check, lint, scaffold, build and run MoonScript code.

  Community npmstdio developer-tools

• motoko-mcp

  io.github.mrfentmen/motoko-mcp

  Motoko MCP: 20 real tools to read, check, lint, scaffold, build and run Motoko code.

  Community npmstdio developer-tools

• motorola-68k-assembly-mcp

  io.github.mrfentmen/motorola-68k-assembly-mcp

  Motorola 68K Assembly MCP: read, check, lint, scaffold and run code.

  Community npmstdio code-executiondeveloper-tools

• move-mcp

  io.github.mrfentmen/move-mcp

  Move MCP: 20 real tools to read, check, lint, scaffold, build and run Move code.

  Community npmstdio developer-tools

• mps-mcp

  io.github.mrfentmen/mps-mcp

  JetBrains MPS MCP: 20 real tools to read, check, lint, scaffold, build and run JetBrains MPS code.

  Community npmstdio developer-tools

• mql4-mcp

  io.github.mrfentmen/mql4-mcp

  MQL4 MCP: 20 real tools to read, check, lint, scaffold, build and run MQL4 code.

  Community npmstdio developer-tools

• mql5-mcp

  io.github.mrfentmen/mql5-mcp

  MQL5 MCP: 20 real tools to read, check, lint, scaffold, build and run MQL5 code.

  Community npmstdio developer-tools

• mst-mcp

  io.github.vipulsutar11/mst-mcp

  MCP server for the MST Chain ecosystem providing search and retrieval tools for documentation.

  Community ocistdio developer-toolssearchvector-search

• muf-mcp

  io.github.mrfentmen/muf-mcp

  MUF MCP: 20 real tools to read, check, lint, scaffold, build and run MUF code.

  Community npmstdio developer-tools

• multichain-mcp

  io.github.wkalidev/multichain-mcp

  MCP server for AI agents — Stacks, Celo, and Base in one npm package.

  Community npmstdio developer-tools

• mupad-mcp

  io.github.mrfentmen/mupad-mcp

  mupad MCP: 20 real tools to read, check, lint, scaffold, build and run mupad code.

  Community npmstdio developer-tools

• myclaw-toolkit

  io.github.Dusheh/myclaw-toolkit

  23-in-1 developer utility toolkit — search, exchange rates, crypto, QR codes, and more

  Community npmstdio cryptodeveloper-toolssearch

• myghty-mcp

  io.github.mrfentmen/myghty-mcp

  Myghty MCP: 20 real tools to read, check, lint, scaffold, build and run Myghty code.

  Community npmstdio developer-tools

• n8n-mcp

  io.github.ratamaha-git/n8n-mcp

  MCP server for n8n: generate, lint, explain failed executions, drive live n8n via REST.

  Community npmstdio automationapi-integrationdeveloper-tools

• nasal-mcp

  io.github.mrfentmen/nasal-mcp

  Nasal MCP: 20 real tools to read, check, lint, scaffold, build and run Nasal code.

  Community npmstdio developer-tools

• nasl-mcp

  io.github.mrfentmen/nasl-mcp

  NASL MCP: 20 real tools to read, check, lint, scaffold, build and run NASL code.

  Community npmstdio developer-tools

Source: the official MCP Registry (registry.modelcontextprotocol.io), refreshed daily, plus public GitHub data. "Verified domain" means the publisher proved the namespace's domain to the registry; it is not a review. Machine-readable: /v1/directory/servers.