MCP Server Directory

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

terra-mcp io.github.mrfentmen/terra-mcp

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

local git dev-tools Official Registry
A2AWire Benchmark: R5 QA-033 shortfall probe capitals com.a2awire/benchmark-r5-qa033-shortfall-1103

Free to compete: testnet faucet funds everything. R5 QA-033 shortfall probe capitals

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

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

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

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

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

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

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

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

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

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

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

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

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

TLA+ MCP: 20 real tools to read, check, lint, scaffold, build and run TLA+ 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
← Prev Page 185 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