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.
-
prolog-reasonergithub.com/rikarazome/prolog-reasonerupdated this year
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
MIT ★ 12 -
prolog-reasonergithub.com/rikarazome/prolog-reasonerupdated this year
LLM-powered logical reasoning with Prolog - Calculator for logic
pypi MIT -
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
npm Apache-2.0 -
Chiasmus is an MCP server that gives language models access to formal verification
Apache-2.0 ★ 218