MCP Server Directory

7379 Model Context Protocol servers — searchable, rated, ready to install.

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.

local git dev-tools Official Registry
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.

local git dev-tools Official Registry
moonbit-mcp io.github.mrfentmen/moonbit-mcp

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

local git dev-tools Official Registry
mizar-mcp io.github.mrfentmen/mizar-mcp

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

local git dev-tools Official Registry
mips-assembly-mcp io.github.mrfentmen/mips-assembly-mcp

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

local git dev-tools Official Registry
mill-mcp io.github.mrfentmen/mill-mcp

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

local git dev-tools Official Registry
michelson-mcp io.github.mrfentmen/michelson-mcp

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

local git dev-tools Official Registry
metamath-mcp io.github.mrfentmen/metamath-mcp

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

local git dev-tools Official Registry
metal-mcp io.github.mrfentmen/metal-mcp

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

local git dev-tools Official Registry
meson-mcp io.github.mrfentmen/meson-mcp

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

local git dev-tools Official Registry
matlab-mcp io.github.mrfentmen/matlab-mcp

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

local git dev-tools Official Registry
marlowe-mcp io.github.mrfentmen/marlowe-mcp

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

local git dev-tools Official Registry
mps-mcp io.github.mrfentmen/mps-mcp

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

local git dev-tools Official Registry
miniscript-mcp io.github.mrfentmen/miniscript-mcp

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

local git dev-tools Official Registry
maple-mcp io.github.mrfentmen/maple-mcp

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

local git dev-tools Official Registry
lua-mcp io.github.mrfentmen/lua-mcp

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

local git dev-tools Official Registry
logtalk-mcp io.github.mrfentmen/logtalk-mcp

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

local git dev-tools Official Registry
llvm-ir-mcp io.github.mrfentmen/llvm-ir-mcp

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

local git dev-tools Official Registry
nasm-mcp io.github.mrfentmen/nasm-mcp

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

local git dev-tools Official Registry
macaulay2-mcp io.github.mrfentmen/macaulay2-mcp

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

local git dev-tools Official Registry
links-mcp io.github.mrfentmen/links-mcp

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

local git dev-tools Official Registry
Vietnam Land Parcels & Zoning (Thửa đất và quy hoạch) io.github.BumiAtlas/vietnam-land-parcels

Vietnamese land parcels by code, sheet and parcel number or location, with HCMC and Đà Nẵng zoning.

remote git dev-tools Official Registry
FinzData Workspace com.finzdata/workspace

AI workspace with FinzData built in: stocks, futures, options GEX, macro, crypto data and code runs.

remote dev-tools finance Official Registry
UK Data: England listed buildings uk.co.reliness/uk-heritage

Historic England: listed buildings and grades, scheduled monuments, parks, gardens, battlefields

remote dev-tools Official Registry
← Prev Page 182 of 308 Next →
Don't want to install anything? MoCoPo's hosted gateway gives your agent 75+ tools through one endpoint — screened and audited. POST /mcp
Connect your agent