Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
To add ProofFlow to Claude, run the install command below or copy the ready-made config for Claude Code, Claude Desktop, Cursor and VS Code further down. Restart your client after adding it and its tools show up in your next conversation. It needs 2 environment variables, listed below.
Install
uvx proofflow-mcp@0.1.2Environment variables
PROOFFLOW_BASE_URLSet in your MCP configPROOFFLOW_API_KEYSet in your MCP configInstall with your client
claude mcp add proofflow --env PROOFFLOW_BASE_URL=<YOUR_PROOFFLOW_BASE_URL> --env PROOFFLOW_API_KEY=<YOUR_PROOFFLOW_API_KEY> -- uvx proofflow-mcp@0.1.2
Run this in a terminal to add the server to Claude Code.
What this does
ProofFlow exposes a set of tools to Claude over the Model Context Protocol. After you add it to claude_desktop_config.json (snippet above) and restart Claude Desktop, those tools become callable inside any conversation.
Requirements
This server needs the following environment variables to be set before it can run:
PROOFFLOW_BASE_URL PROOFFLOW_API_KEY
Set these via the env object in your MCP config (see claude_desktop_config.json snippet above).
Frequently asked questions
How do I install ProofFlow?
Run the Claude Code command in the install section to add ProofFlow to Claude Code, or copy the ready-made config for your client from the install section on this page. Restart your client afterwards and the tools appear in your next conversation.
Which clients work with ProofFlow?
This page carries setup and config for Claude Code, Claude Desktop, Cursor and VS Code. Any other MCP client that accepts a standard server config can connect to ProofFlow as well.
Does ProofFlow need an API key?
Yes. Before it can run, set these environment variables: PROOFFLOW_BASE_URL, PROOFFLOW_API_KEY. They go in the env block of your MCP config.
Imported from the Official MCP Registry. The details above come from the registry entry; the maker can claim this listing to correct them, add docs, and see its traffic.
Is this your MCP server?
Claim this listing to see its traffic, fix details yourself, and skip the review queue on future updates.
Add this badge to your README
Show visitors this server is listed in the ClaudeRules directory. The badge links straight to this listing.
[](https://clauderules.net/mcp/io-github-hyperion-gpu-proofflow)<a href="https://clauderules.net/mcp/io-github-hyperion-gpu-proofflow" target="_blank" rel="noopener noreferrer"><img src="https://clauderules.net/api/badge/io-github-hyperion-gpu-proofflow" alt="Listed on clauderules.net" /></a>More AI MCP servers
GitHub
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
Serena MCP: the IDE for your agent
A powerful toolkit for coding, providing semantic retrieval and editing capabilities.
MCP Toolbox for Databases
MCP Toolbox for Databases enables your agent to connect to your database.
Figma-Context-MCP
Give your coding agent access to your Figma data. Implement designs in any framework in one-shot.