7379 Model Context Protocol servers — searchable, rated, ready to install.
Twelf MCP: 20 real tools to read, check, lint, scaffold, build and run Twelf code.
A queryable graph of a codebase: impact, callers, tests to run, history. No model, no network.
VHDL MCP: 20 real tools to read, check, lint, scaffold, build and run VHDL code.
TypeSpec MCP: 20 real tools to read, check, lint, scaffold, build and run TypeSpec code.
Tested statistics of 179 chart and candlestick patterns on six markets, against random bars.
TLA MCP: 20 real tools to read, check, lint, scaffold, build and run TLA code.
TLA+ MCP: 20 real tools to read, check, lint, scaffold, build and run TLA+ code.
Kotlin MCP: 20 real tools to read, check, lint, scaffold, build and run Kotlin code.
Tolk MCP: 20 real tools to read, check, lint, scaffold, build and run Tolk code.
Koka MCP: 20 real tools to read, check, lint, scaffold, build and run Koka code.
KCL MCP: 20 real tools to read, check, lint, scaffold, build and run KCL code.
Just MCP: 20 real tools to read, check, lint, scaffold, build and run Just code.
Lasso MCP: 20 real tools to read, check, lint, scaffold, build and run Lasso code.
Hands work to another coding agent over ACP: Claude Code, Codex, OpenCode, Gemini CLI and others
T-SQL MCP: 20 real tools to read, check, lint, scaffold, build and run T-SQL code.
Thrift MCP: 20 real tools to read, check, lint, scaffold, build and run Thrift code.
Terra MCP: 20 real tools to read, check, lint, scaffold, build and run Terra code.
K MCP: 20 real tools to read, check, lint, scaffold, build and run K code.
NHTSA vPIC: decode a VIN into make, model, year and engine data - keyless.
Turing MCP: 20 real tools to read, check, lint, scaffold, build and run Turing code.
Tcsh MCP: 20 real tools to read, check, lint, scaffold, build and run Tcsh code.
Tcl MCP: 20 real tools to read, check, lint, scaffold, build and run Tcl code.
Tact MCP: 20 real tools to read, check, lint, scaffold, build and run Tact code.
Validates job-posting JSON against a strict schema; returns one fixable error line per problem.
POST /mcp