mcpbeat

ProofFlow MCP Server

io.github.Hyperion-GPU/proofflow
local only

ProofFlow runs on your own machine — the client starts it, so there is no endpoint to ping. 70 installs a week from pypi. Last commit 20 May 2026.

Audit infrastructure for AI coding agents with evidence-backed review and policy gates.

Installs per day peak 34 · avg 12 · +15% w/w
a month agotoday
70
Installs / week
pypi · proofflow-mcp
48
Stars
5 open issues
20 May 2026
Last commit
0 releases in 90 days
MIT
License
Python

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

run in your terminal
claude mcp add proofflow -- uvx proofflow-mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp"
      ],
      "command": "uvx"
    }
  }
}
~/.codex/config.toml
[mcp_servers.proofflow]
command = "uvx"
args = ["proofflow-mcp"]
.cursor/mcp.json
{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp"
      ],
      "command": "uvx"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp"
      ],
      "command": "uvx"
    }
  }
}

ProofFlow — questions

Answers built from our own checks of this server.

Why is there no uptime for ProofFlow?
ProofFlow runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package proofflow-mcp was installed 70 times last week.
How do I connect ProofFlow?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls proofflow-mcp straight from pypi; nothing to host, nothing to sign up for.
How many people use ProofFlow?
The pypi package proofflow-mcp was installed 70 times in the last week. Week over week that is +15%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is ProofFlow open source?
Yes — it is published under the MIT licence, written in Python, 48 stars on GitHub and 5 open issues. The source link is on this page, so you can read exactly what it does with your data before you connect it.