MCP Server Directory

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

tape-mcp io.github.mrfentmen/tape-mcp

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

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

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

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

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

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

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

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

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

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

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

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

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

local git dev-tools Official Registry
Acme CRM example io.github.leemour/acme-crm-cli

An example WireCat CLI for a made-up CRM, synthetic data. Sign a profile in with acme-crm first.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

local git dev-tools Official Registry
Countersign ai.llpro.countersign/countersign

Independent, signed check of AI work: math, quotes, sources, links, code. Public verifiable log.

remote dev-tools Official Registry
toolmenu io.github.niksa90/toolmenu

Tests MCP servers as clients meet them: menu, calls, results, sign-in, releases. No LLM.

local git dev-tools Official Registry
VOYGR Prospecting io.github.voygr-tech/prospecting

Find 16M+ US businesses by city/category; build lead lists with owners, contacts, status and hours.

remote git dev-tools Official Registry
objective-j-mcp io.github.mrfentmen/objective-j-mcp

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

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