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 -
MCP server for Rockwell/Allen-Bradley Studio 5000 — parse L5X project exports and give AI agents structured access to PLC tags, UDTs, routines, and programs.
MIT ★ 27 -
Local MCP context server for AI agents: persistent memory, sourced knowledge graphs, full-text search, and rule-based inference with SQLite and clingo.
-
TIA Portal MCP server: control Siemens TIA Portal, STEP 7 and S7-1200/S7-1500 PLCs with AI (Claude, Cursor, any MCP client). Write LAD/SCL PLC code, configure hardware and WinCC HMI, compile, test in PLCSIM and download.
-
Cross-platform intelligence bridge — correlate Ignition SCADA tags with Studio 5000 PLC logic end-to-end.
MIT ★ 10 -
三菱 PLC 编程与工程助手。 MCP server and AI workbench for Mitsubishi PLC programming with GX Works2. Generate Ladder and Structured Text, edit native FBD, and review versioned projects with CPU-aware RAG and diagnostics.
AGPL-3.0 ★ 32