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.
-
MCP server that brings senior-QA discipline to AI coding assistants — test planning, TDD, mutation testing, code review.
Apache-2.0 ★ 7 -
Local-first MCP server that runs isolated mutation testing against a codebase to expose the gaps its test suite does not cover. Wraps StrykerJS, cosmic-ray, cargo-mutants and Infection behind one tool surface.
MIT ★ 2 -
httptoolkit-mcpgithub.com/NinjaScout77/httptoolkit-mcpupdated this year
MCP server that lets LLMs drive HTTPToolkit for automated API security testing — replay, mutation, and audit on captured mobile, desktop, and CLI traffic
MIT ★ 2 -
Sumo QA — a senior-QA-shaped MCP server for pre-coding QA planning, TDD scaffolding, mutation-testing follow-up, code review, and test-data discovery.
pypi Apache-2.0 -
MCP server that reverse engineers a locked rebuild spec (CLAUDE.md, .claude config, mutation tested tests) from an existing app
npm MIT ★ 3 -
Local-first Windows kanban for switching AI coding agents: per-project handoff packs, AGENTS.md projection to 9 entry files, 23-tool MCP server, LLM self-supervision. One-command release gate (tests + mutation probes + frozen smoke).
MIT -
55-tool MCP server for security scanning of MCP servers. Runtime inspection, AST-based SAST, config audit, dependency analysis, OWASP MCP Top 10 compliance. OAuth, TLS, fuzz testing, prompt injection, tool mutation detection. 100% local, zero external API calls.
MIT ★ 5 -
MCP server for verified, evidence-based project completion tracking in Claude Code
MIT ★ 1 -
Ask for a change to your source and get it — made by local MLX models on your Mac, checked by a gate a machine can run before Claude sees it. Unit tests too. MCP server + CLI.
npm MIT -
Executed-evidence verification gate for AI coding agents
AGPL-3.0 ★ 4 -
Proves software work: triages failing tests to a cause with evidence, says whether a test could ever fail, breaks your code to see if the tests notice, reads what a migration does to a live database, and gives one verdict on whether a change is done.
npm Apache-2.0 -
Delivery gates for AI coding agents: breaks your code on purpose and reports the breaks no test noticed. Seven languages via tree-sitter, on Windows, macOS and Linux. Git hook, CI step or MCP server.
npm Apache-2.0 -
MCP server that reverse-engineers a trustworthy rebuild spec from an existing app.
npm MIT -
claude-crapgithub.com/ahernandez-developer/claude-crapupdated this year
Deterministic QA plugin for Claude Code — CRAP index, Technical Debt Ratio, tree-sitter AST, SARIF 2.1.0, hooks, and a local Vue dashboard.
npm MIT -
@sr-herz/claude-sonargithub.com/ahernandez-developer/claude-sonarupdated this year
Deterministic QA plugin for Claude Code — CRAP index, Technical Debt Ratio, tree-sitter AST, SARIF 2.1.0, hooks, and a local Vue dashboard.
npm MIT -
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