2 projects
devmcp-server
A from-scratch MCP server exposing git, CI, filesystem, SQLite, and Docker tooling over the full protocol surface (tools, resources, prompts, roots, sampling).
verimcp
A standalone MCP server that proxies real MCP backends and verifies tool-call postconditions before results reach the client