Proof Flow MCP Server

Audit infrastructure for AI coding agents with evidence-backed review and policy gates. It runs locally over stdio via the published package.

People connecting developer tools tools to Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-08-08 · ★ 48 · #73 OF 139 MAINTAINED DEVELOPER TOOLS · VERIFIED 2026-08-25

MIT · Python servers · how we verify → /methodology

01 · Install Proof Flow

before you install - you'll need

Set PROOFFLOW_BASE_URL before connecting. PROOFFLOW_API_KEY is optional or environment-specific per the README.

Claude Code

claude mcp add hyperion-gpu-proofflow-v0.1 -- uvx proofflow-mcp

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "hyperion-gpu-proofflow-v0.1": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

license MIT - declared in the repository

pypi package proofflow-mcp - check the name against the project README before installing (PyPI has no namespace ownership)

registry namespace io.github.Hyperion-GPU is GitHub-verified and matches the repo owner

03 · What Proof Flow can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

v0.1.8 · 2026-05-17

ProofFlow v0.1.8 Release Notes · Release date: 2026-05-18 · ProofFlow v0.1.8 reframes the project around Agent Work Ledger for AI coding: · contract first, evidence-backed claims, done criteria evaluation, and Proof…

v0.1.6.1 · 2026-05-16

ProofFlow v0.1.6.1 - Dogfood Polish for CI Review Comments · This patch comes directly from dogfooding the v0.1.6 GitHub Actions review · workflow on ProofFlow itself. · The workflow worked: it ran on a real pull…

v0.1.6 · 2026-05-15

ProofFlow v0.1.6 - CI Proof Packets for AI Code Review · This release turns ProofFlow from a local audit dashboard into something that · can meet an AI-generated pull request at the exact moment it matters: in CI…

04 · Who maintains Proof Flow

ProofFlow is maintained by hyperion-gpu. It's the only MCP server we track from this author; the repo dates to Apr 2026.

05 · Facts

repository: github.com/hyperion-gpu/proofflow-v0.1
category: developer tools - ranked #73 of 139 actively-maintained developer tools servers as of 2026-08-25.
registry: io.github.Hyperion-GPU/proofflow (active, first published 2026-05-06)
packages: pypi:proofflow-mcp

06 · Proof Flow FAQ

What is Proof Flow?

Audit infrastructure for AI coding agents with evidence-backed review and policy gates. It runs locally over stdio via the published package.

Is Proof Flow still maintained?

Yes - as of 2026-08-25, its last commit was 2026-08-08. We re-verify nightly.

How do I install Proof Flow?

Run `uvx proofflow-mcp`. The README documents 2 environment variables (PROOFFLOW_BASE_URL, PROOFFLOW_API_KEY) to set first. Set PROOFFLOW_BASE_URL before connecting. PROOFFLOW_API_KEY is optional or environment-specific per the README. You can also paste the ready-made client config above.

Does Proof Flow run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Proof Flow

Alternatives to Proof Flow

Maintained developer tools servers if Proof Flow isn't the fit.

Pairs well with

Servers that cover what Proof Flow doesn't - only shown when the pairing reason fits the companion.

More developer tools MCP servers · Instagit · iz-tolk-MCP - Tolk Compiler for TON · Veto · Cyber Hua Tuo · Noosphere

More Python MCP servers · Onecite · Ragscore · Grad Agent · Tidal MCP · Disney Lorcana TCG Collection · see all