MCP Server Directory

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

literate-agda-mcp io.github.mrfentmen/literate-agda-mcp

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

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

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

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

WESL MCP: 20 real tools to read, check, lint, scaffold, build and run WESL 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
rpc-mcp io.github.mrfentmen/rpc-mcp

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

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

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

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

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

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

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

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

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

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

Literate CoffeeScript MCP: read, check, lint, scaffold and run code.

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

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

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

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

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

WHO GHO: search global health indicators and their codes - keyless.

local search git Official Registry
whiley-mcp io.github.mrfentmen/whiley-mcp

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Visual Basic 6.0 MCP: read, check, lint, scaffold and run code.

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

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

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

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

local git dev-tools Official Registry
PaintColorMatcher — Scientific Paint Color & HEX CIEDE2000 Matcher com.paintcolormatcher/mcp

Match HEX codes & find cross-brand paint equivalents across Sherwin-Williams, Benjamin Moore & Behr.

remote dev-tools Official Registry
← Prev Page 206 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