ProofFlow
Rank #13,637io.github.Hyperion-GPU/proofflow
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
ProofFlow is a Model Context Protocol (MCP) server published by hyperion-gpu. It ranks #13,637 of 132,046 servers tracked on MCP Toplist, and its repository has 49 GitHub stars. ProofFlow is listed across 3 registries — Official MCP, PulseMCP and Glama, with 1 tracked version. It was first listed on Apr 26, 2026 and most recently updated on May 6, 2026.
Ranks ahead of 118,409 of 132,046 servers on MCP Toplist.
Use ProofFlow
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add proofflow -e "PROOFFLOW_BASE_URL=<your PROOFFLOW_BASE_URL>" -e "PROOFFLOW_API_KEY=<your PROOFFLOW_API_KEY>" -- uvx proofflow-mcpReplace each placeholder with your own value before saving.
[mcp_servers.proofflow]
command = "uvx"
args = ["proofflow-mcp"]
[mcp_servers.proofflow.env]
PROOFFLOW_BASE_URL = "<your PROOFFLOW_BASE_URL>"
PROOFFLOW_API_KEY = "<your PROOFFLOW_API_KEY>"Add to ~/.codex/config.toml. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"proofflow": {
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<your PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<your PROOFFLOW_API_KEY>"
}
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config). Replace each placeholder with your own value before saving.
{
"mcpServers": {
"proofflow": {
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<your PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<your PROOFFLOW_API_KEY>"
}
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). Replace each placeholder with your own value before saving.
{
"servers": {
"proofflow": {
"type": "stdio",
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<your PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<your PROOFFLOW_API_KEY>"
}
}
}
}Save as .vscode/mcp.json in your workspace. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"proofflow": {
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<your PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<your PROOFFLOW_API_KEY>"
}
}
}
}Add to ~/.codeium/windsurf/mcp_config.json. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"proofflow": {
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<your PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<your PROOFFLOW_API_KEY>"
}
}
}
}Replace each placeholder with your own value before saving.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.Hyperion-GPU%2Fproofflow)<a href="https://mcptoplist.com/server/io.github.Hyperion-GPU%2Fproofflow"><img src="https://mcptoplist.com/badge/io.github.Hyperion-GPU%2Fproofflow.svg" alt="MCP Toplist: Top 25% of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 3 registries
hyperion-gpu
Available versions (1)
| Version | Published |
|---|---|
| 0.1.2 | May 6, 2026 |
Frequently asked questions
- Who maintains ProofFlow?
- ProofFlow is maintained by hyperion-gpu, which publishes 1 MCP server (1 total version) tracked on MCP Toplist.
- Is ProofFlow listed on the Official MCP Registry?
- Yes — ProofFlow is listed on the Official MCP Registry, alongside PulseMCP and Glama.
- How many versions does ProofFlow have?
- MCP Toplist tracks 1 version of ProofFlow, most recently published on May 6, 2026.
- Where can I find the source code for ProofFlow?
- The source code for ProofFlow is hosted at github.com/hyperion-gpu/proofflow-v0.1.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.