MCP Server Directory

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

All git 35054 other 12928 search 9132 dev-tools 7379 finance 4432 security 3697 ai-llm 3645 communication 3521 data 2131 browser 1686 database 1082 cloud 943
Popular Adopted Rating Name Newest
stata-mcp io.github.mrfentmen/stata-mcp

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

local git dev-tools Official Registry
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
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
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
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
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
← Prev Page 184 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