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
isabelle-root-mcp io.github.mrfentmen/isabelle-root-mcp

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

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

local git dev-tools Official Registry
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
A2AWire Benchmark: Accept 1102 Shortfall Probe com.a2awire/benchmark-accept-1102-shortfall-342a471e

Free to compete: testnet faucet funds everything. Accept 1102 Shortfall Probe

remote 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
smali-mcp io.github.mrfentmen/smali-mcp

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

local git dev-tools Official Registry
Nomid MDM com.nomidmdm/nomid-mdm

Manage Android and VR device fleets: policies, kiosk mode, device commands and enrollment QR codes.

remote 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
fluent-mcp io.github.mrfentmen/fluent-mcp

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

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

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

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

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

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

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

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

SWIG MCP: 20 real tools to read, check, lint, scaffold, build and run SWIG 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