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.
-
Sign-off gate and requirement-to-test traceability for spec-driven AI development (OpenSpec + Superpowers compatible).
npm MIT -
Janus of Agents (formerly SpecGate): Sign-off gate and requirement-to-test traceability for spec-driven AI development (OpenSpec + Superpowers compatible).
npm MIT -
MCP Server for Spec-Driven Development - Create and manage SDD test specifications with tasks, logs, and acceptance criteria
npm MIT -
MCP server for full Godot 4.x engine control: 157 tools for AI-driven game development (GDScript and C#/.NET). Tested with Godot 4.7.
MIT ★ 512 -
QuDAG Protocol (Quantum-Resistant DAG-Based Anonymous Communication System) - Claude Code implementation of a Test-Driven Development Implementation Plan for QuDAG Protocol with Claude Code
MIT ★ 199 -
Spec-driven development for humans and coding agents. Requirements as plain files in Git, traceable from need to test, editable via desktop app, CLI, MCP and API. ReqIF import/export, baselines, variants.
NOASSERTION ★ 1 -
Claim-Driven Development: turn software intent into verifiable evidence.
NOASSERTION ★ 189 -
koshergithub.com/whittle/kosherupdated this year
Kosher updates BDD for the AI era.
-
mk-spec-mastergithub.com/kao273183/mk-spec-masterupdated this year
MCP server bridging specs (Linear / JIRA / GitHub Issues / Notion / Markdown / Figma) to tests, with bidirectional traceability and a spec-quality coach (AI 規格大師)
pypi MIT -
Another MCP server, but with batteries included + useful integrations for personal and daily use.
MIT ★ 5 -
AI-driven Universal QA Skills, MCP Server, Precision Testing (TIA), and Evals for all AI coding agents.
MIT -
Enterprise MCP server & CLI toolkit for AI agents: Spec-Driven SDLC, codebase reverse-engineering (/trace), cross-surface SSOT docs, deterministic codegen, and automated Playwright E2E testing.
npm MIT -
MCP Toolkit for Flutter AI Agent Driven Development (MCP/CLI + custom client side tools) - via closed feedback loop (visual & semantic snapshot) and high client side customization adaptable for any Flutter app. Nowadays it is often called as agentic harness.
npm MIT ★ 398 -
repo-bridgegithub.com/zcrossoverz/repo-bridgeupdated this year
Turn ChatGPT Web into a real coding agent on your own repos - read, edit, build, test, git, PRs. MCP server with OAuth 2.1, driven by GPT-5.6 Sol on ChatGPT Plus/Pro. No OpenAI API key, no per-token API bill.
npm MIT ★ 4