ProofFlow

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

Connector by Hyperion-GPU · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)★ 7

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/hyperion-gpu-proofflow

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools: 9 read · 8 write · 0 delete · 6 not yet classified
Secrets: 1 (API keys, tokens or passwords)
Install scripts: Not scanned yet
Runs as: Python package

Tools by what they do 23

Read from the source code; the running server may list different tools.

Read 9 · Look things up without changing anything.

proofflow_capture_snapshot
proofflow_evaluate_contract
proofflow_health
proofflow_list_actions
proofflow_list_cases
proofflow_scan
proofflow_search
proofflow_status
proofflow_suggest

Write 8 · Create, change, send or run things.

proofflow_approve_execute
proofflow_decide
proofflow_record_algorithm_decision
proofflow_record_claim
proofflow_record_cost_budget
proofflow_record_event
proofflow_record_evidence
proofflow_start_work_contract

Not yet classified 6 · We could not tell from the name and description.

proofflow_explain_risk_hint
proofflow_export_packet
proofflow_finish_work_ledger
proofflow_review
proofflow_triage_issue
proofflow_undo

Secrets and settings it asks for

Secrets: values you paste in that let it act as you.

PROOFFLOW_API_KEY

Other settings (environment variables or headers).

PROOFFLOW_BASE_URL

Tools (23)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

proofflow_approve_execute
Approve and execute a pending ProofFlow action (e.g. move_file, rename_file, mkdir_dir). IMPORTANT: First call WITHOUT confirmed_preview to see the action preview. Then call again WITH confirmed_preview=true after the user has reviewed the paths. This enforces 'No Preview, no Action'.
proofflow_capture_snapshot
Capture a git work snapshot for an Agent Work Ledger Case.
proofflow_decide
Create a decision on a ProofFlow Case to approve or reject a policy gate. Use this when an action is blocked with pending_decision status. Requires the case_id and action_id of the blocked action.
proofflow_evaluate_contract
Evaluate an Agent Work Ledger Case against its work contract.
proofflow_explain_risk_hint
Record an evidence-backed accepted Decision explaining a Ledger Risk Hint. This does not suppress the hint; it annotates future evaluations and Proof Packets.
proofflow_export_packet
Export a ProofFlow Case as a Proof Packet (markdown report). Contains summary, artifacts, claims, evidence, actions, and decisions. Use to generate a shareable audit report.
proofflow_finish_work_ledger
Finish an Agent Work Ledger Case after contract evaluation and Evidence capture.
proofflow_health
Check if the ProofFlow backend is running and return version info. Call this first to verify connectivity before using other tools.
proofflow_list_actions
List all actions for a given ProofFlow Case.
proofflow_list_cases
List all ProofFlow Cases with their status, kind, and timestamps.
proofflow_record_algorithm_decision
Record an Algorithm Decision for an Agent Work Ledger Case before implementation chooses a costly or important approach.
proofflow_record_claim
Record a Claim for an Agent Work Ledger Case, bound to Evidence IDs.
proofflow_record_cost_budget
Record a Cost Budget for an Agent Work Ledger Case, such as token, API, GPU, CPU, or runtime limits.
proofflow_record_event
Record an Agent Work Ledger event as an Artifact on a ledger Case.
proofflow_record_evidence
Record Evidence for an Agent Work Ledger Case.

Show 8 more tools

proofflow_review
Run an AgentGuard code review on a local git repository. Analyzes git diff, generates evidence-backed claims about risk, and creates a code_review Case. Use after making code changes to audit them.
proofflow_scan
Scan a local folder to create a ProofFlow Case with file Artifacts. Indexes files with SHA-256 hashes and extracts text for full-text search. Use this to audit or organize files in a directory.
proofflow_search
Full-text search across all indexed artifact text in ProofFlow. Returns matching snippets with file paths and scores.
proofflow_start_work_contract
Start an Agent Work Ledger Case with an explicit work contract. Use this before recording agent work events, snapshots, Evidence, or Claims.
proofflow_status
Get the full status of a ProofFlow Case including artifacts, claims, actions, decisions, and policy observations. Use to check progress on a workflow.
proofflow_suggest
Generate file cleanup/organization suggestions for a scanned Case. Requires a case_id from a prior proofflow_scan and a target_root directory where organized files should be moved to.
proofflow_triage_issue
Triage issue text into a ProofFlow Case. Captures the issue as an Artifact, extracts deterministic triage Claims, and makes the issue available for Proof Packet export.
proofflow_undo
Undo a previously executed ProofFlow action. Only works on actions with status 'executed' that have undo metadata.

Signals

Stars: 7
Forks: 1
Open issues: 5
Weekly downloads: 28
Last commit: May 20, 2026 (5 months ago)
Last release: May 17, 2026 (5 months ago)
Last package publish: May 6, 2026 (5 months ago)

From GitHub (fetched Oct 24, 2026) and the package registry.

Details

Registry name: io.github.Hyperion-GPU/proofflow
Version: 0.1.2
Auth: API key
Packages: pypi proofflow-mcp
License: MIT
Repository: github.com/Hyperion-GPU/ProofFlow-v0.1
First seen: Oct 24, 2026
Last checked: Oct 24, 2026
Source: Official MCP Registry github-graphql

Cite this page

ProofFlow MCP server. Agent Mart. https://agentmart.dev/connectors/hyperion-gpu-proofflow (last updated 2026-10-24)