ProofFlow
ProofFlow turns AI coding sessions into auditable ledgers. It exposes MCP tools to create work contracts, record algorithm decisions, capture git snapshots, bind evidence to agent claims, and export proof packets before merging. You'd reach for this when you want reviewable trails for autonomous agent changes instead of blind trust. The server handles the full chain from contract declaration through cost budgets, diff snapshots, evidence collection, and deterministic evaluation of done criteria. It includes AgentGuard for PR reviews and can gate risky actions before execution. Install via PyPI's proofflow-mcp package and connect over stdio. The project dogfoods itself with CI workflows that post stable review comments and upload proof packets as artifacts.
- tools
- 22
- auth
- Secret needed
- transport
- STDIO
- env vars
- 2
- last updated
- May 6, 2026
Tools
22 toolsPublic tool metadata for what this MCP can expose to an agent.
health
No parameter schema in public metadata yet.
scan
No parameter schema in public metadata yet.
suggest
No parameter schema in public metadata yet.
review
No parameter schema in public metadata yet.
triage_issue
No parameter schema in public metadata yet.
start_work_contract
No parameter schema in public metadata yet.
record_algorithm_decision
No parameter schema in public metadata yet.
record_cost_budget
No parameter schema in public metadata yet.
capture_snapshot
No parameter schema in public metadata yet.
record_evidence
No parameter schema in public metadata yet.
record_claim
No parameter schema in public metadata yet.
evaluate_contract
No parameter schema in public metadata yet.
finish_work_ledger
No parameter schema in public metadata yet.
status
No parameter schema in public metadata yet.
approve_execute
No parameter schema in public metadata yet.
export_packet
No parameter schema in public metadata yet.
search
No parameter schema in public metadata yet.
list_cases
No parameter schema in public metadata yet.
list_actions
No parameter schema in public metadata yet.
undo
No parameter schema in public metadata yet.
decide
No parameter schema in public metadata yet.
explain_risk_hintRecords an evidence-backed Decision for a Ledger Risk Hint without suppressing the hint.
Records an evidence-backed Decision for a Ledger Risk Hint without suppressing the hint.
No parameter schema in public metadata yet.
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageConfiguration
PROOFFLOW_BASE_URLProofFlow backend URL (default: http://127.0.0.1:8787)
PROOFFLOW_API_KEYsecretAPI key for authenticated access to the ProofFlow backend
Readme
ProofFlow
Agent Work Ledger for AI coding.
Vibe coding is fast. Blind trust is not enough.
ProofFlow makes AI-generated work reviewable, traceable, and reversible by recording the full chain from work contract to proof packet: contract first, record the algorithm decision, declare the cost budget, snapshot the code state, bind claims to evidence, evaluate done criteria, then export an auditable packet.
Latest release: v0.1.8 - Agent Work Ledger for AI coding
▶ Watch the 72s demo: From AI agent claims to verifiable Proof Packets
Demo asset (deferred): The end-to-end dogfood Demo_Asset GIF and the VSCode_Channel inline audit / Approve Gate screenshots for the v0.1.x dogfood-and-channel-polish milestone are deferred to the next dogfood cycle (no capturable VS Code window in this milestone). Tracked in
PLANS.md#vscode-channel-screenshots-deferred-from-v0-1-x-dogfood.
Details
- Repository
- github.com/hyperion-gpu/proofflow-v0.1
- Category
- Cloud & Infrastructure
- Package
proofflow-mcp- Transport
- STDIO
- Auth
- Required
- Registry
- MCP registry, active
Related Cloud & Infrastructure MCP servers
View all
Podman Mcp Servermanusa/podman-mcp-serverA Model Context Protocol (MCP) server for container runtimes (Podman and Docker)74stars
ShadowCrawldevshero/shadowcrawlStealth scraping & search. Bypasses Cloudflare, DataDome & LinkedIn via Cyborg HITL approach.66stars
Porkbun (official)oborseth/porkbun-mcpOfficial Porkbun MCP server: domains, DNS, SSL, hosting and Cloudflare via the Porkbun API.36stars
Awesome Agent Skillsshadowrootdev/awesome-agent-skills-mcpMCP server with 100+ AI agent skills from Anthropic, Vercel, Trail of Bits, Hugging Face & more.23stars
OneTool MCPbeycom/onetool-mcpOne MCP for devs incl Brave,Google,Tavily,Context7,AWS,Excalidraw,DB,GitHub,DevTools,Playwright20stars
Interactive Terminalamol21p/mcp-interactive-terminalMCP server for real interactive terminal sessions — REPLs, SSH, databases, Docker15stars