ProofFlow is a Model Context Protocol (MCP) server: Audit infrastructure for AI coding agents with evidence-backed review and policy gates. As an MCP server it plugs straight into AI assistants, exposing its functionality as tools the model can invoke on your behalf.
It runs locally: the Python package proofflow-mcp (via uvx) speaks MCP over stdio on your machine. The current release is v0.1.2, published under the MIT license, with source at Hyperion-GPU/ProofFlow-v0.1 on GitHub, where it has earned 48 stars.
You'll find ProofFlow in the Development category here on mcp.site; it connects to Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed, and any other MCP client — see the install snippets below. If you maintain ProofFlow for Hyperion-GPU, claim this listing to verify ownership, earn the Verified badge, and keep the details current.
▸PyPI package — proofflow-mcp · MCP over stdio
▸Open source — MIT license · Hyperion-GPU/ProofFlow-v0.1