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

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

local git cloud Official Registry
UK Data: Country facts and words uk.co.reliness/countries-words

Country capitals, currencies, calling codes and population, plus synonyms, rhymes and definitions

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

LilyPond MCP: 20 real tools to read, check, lint, scaffold, build and run LilyPond 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
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
AZPay Monetize — Sepolia Sandbox br.com.azpay/monetize

Search, negotiate and buy resource access with x402 test USDC on Ethereum Sepolia.

remote search dev-tools Official Registry
lfe-mcp io.github.mrfentmen/lfe-mcp

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

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

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

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

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

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

local git dev-tools Official Registry
CodeBurn io.github.getagentseal/codeburn

AI coding spend, tokens and plan quotas across Claude Code, Codex, Cursor and 40+ more tools

local git ai-llm Official Registry
Glasir io.github.Attackwave/glasir

A queryable graph of a codebase: impact, callers, tests to run, history. No model, no network.

local git ai-llm 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