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.
-
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
npm Apache-2.0 -
Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.
NOASSERTION ★ 13 -
Neuro-Symbolic Law-to-AST Compiler, Microsoft Z3 Formal Verifier, 12-MCP Suite, Contextual+Graph RAG, and Autonomous PR Enforcer (JusticeSphere AI / ComplianceOS)
MIT ★ 3 -
CSL-Core: Deterministic Safety Layer for Probabilistic AI Systems
pypi Apache-2.0 -
Chiasmus is an MCP server that gives language models access to formal verification
Apache-2.0 ★ 218