MCP servers that ship as code — a repository or a package you install and run locally (usually over stdio). They have no hosted endpoint, so we cannot probe or grade them: instead each one shows its repository, install command, license, stars and when it was last updated.
Collected from GitHub repositories and npm, PyPI, Cargo, Go, Maven, NuGet and RubyGems packages tagged as MCP servers, the official MCP Registry, Docker's MCP catalog, ModelScope, Baidu MCP World, Cline and other public directories; one entry per repository. A server that also offers a hosted endpoint is listed under Remote instead. These entries are not counted in our reachability, verification or readiness statistics.
-
Deterministic AST + neuro-symbolic verifier for AI-generated Rust, Python, TS, JS & Solidity. Catches slopsquatted imports, cutoff-drift APIs & async traps in <15ms. Ships with the Top-100 Evil AI Benchmark & stdio MCP server.
MIT