ProofFlow
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
MCP server · by Hyperion-GPU
About
ProofFlow is an MCP server published by Hyperion-GPU. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-12.
What it asks for
- Runs on your machine
- Secrets: 1
- Settings: 2
Requires: PROOFFLOW_API_KEY (secret)
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a local MCP server: PyPI package
Built from what Official MCP Registry declares.
claude mcp add --env "PROOFFLOW_API_KEY=<YOUR_PROOFFLOW_API_KEY>" --transport stdio proofflow -- uvx proofflow-mcp[mcp_servers.proofflow]
command = "uvx"
args = ["proofflow-mcp"]
[mcp_servers.proofflow.env]
PROOFFLOW_API_KEY = "<YOUR_PROOFFLOW_API_KEY>"{
"mcpServers": {
"proofflow": {
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_API_KEY": "<YOUR_PROOFFLOW_API_KEY>"
}
}
}
}Replace the values in angle brackets with your own. We show the names of the settings, never values.
Optional settings it also lists: PROOFFLOW_BASE_URL.
We do not store launch arguments. If the server needs any, its own documentation names them.
Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.1.2 | Forks (GitHub): 3 Stars (GitHub): 49 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
Tamper-proof audit trail for AI agents. Signed receipts, offline-verifiable, zero backend.
-
governance-platform ai.geodesiclabs/governance-platform
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
-
govenant-audit org.govenantstandard/govenant-audit
Run the GOVENANT trust audit on your own AI agents — read-only, aggregate-only. Detects…
-
air-blackbox-mcp io.github.airblackbox/air-blackbox-mcp
EU AI Act compliance scanner for Python AI agents. 14 tools across 6 articles.
-
Tamper-evident, SHA-256 hash-chained audit trail and observability for AI agents.
-
inkog io.github.inkog-io/inkog
Security co-pilot for AI agents. Scan for vulnerabilities, audit MCP servers, verify governance.
-
aiact io.github.thegridwork/aiact
Scan codebases for AI usage, classify risk, generate EU AI Act compliance reports.
-
Pre-tool policy enforcement + JSONL audit for AI agents. Apache 2.0.
-
veridict io.github.xkumakichi/veridict
Know if you can trust your MCP server. Trust judgment for AI agents.
-
proof io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
VerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such…
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
AI agent evaluation sandbox for Claude Code. Holdout scenario testing with Doer/Judge/Adversary/Observer roles, probabilistic satisfaction scoring, and append-only JSONL audit…
-
agent-comm io.github.keshrath/agent-comm
Agent intercommunication - messaging, channels, shared state, and real-time events
-
Compliance-first LLM gateway for Claude Code. Policy-as-code enforcement (YAML policy definitions), tamper-evident audit trails, PII redaction, token budget enforcement, and…
Has a listing on Claude Code: claude-plugins-official (5)
-
Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Detect AI agents in your codebase and instrument them with Pendo Agent Analytics via the best-fit path: Python SDK, TypeScript SDK, client-side trackAgent, or the Conversations…
Has a listing on Claude: knowledge-work-plugins (5)
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
Has a listing on Community GitHub marketplaces (5)
-
Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
-
Endor Labs AI Plugins (Legacy)
Legacy Claude Code plugin id for Endor Labs Agent Kit workflows.
-
Dash0 Observability
OpenTelemetry observability for OpenAI Codex sessions. Captures prompts, tool calls, MCP calls, sub-agent activity, and token usage as OTel traces.
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Endor Labs workflow agents and setup for Claude Code.
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Skills and interactive Copilot canvas for designing, configuring, testing and deploying agents to Microsoft Foundry.
-
A runtime-portable 5-agent quality gate that adjudicates text artifacts before they ship. Five role-conditioned LLM deliberators run a 2-round async protocol with cross-read…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Advanced Security plugin for GitHub Copilot.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
Has a listing on Cursor: cursor/plugins (5)
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
Has a listing on Docker MCP Catalog (5)
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
Read and score Opik traces, experiments, datasets and prompts from your AI assistant.
-
Wayfound’s MCP server allows business users to govern, supervise, and improve AI Agents.
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
Has a listing on Official MCP Registry (5)
-
Tamper-proof audit trail for AI agents. Signed receipts, offline-verifiable, zero backend.
-
governance-platform ai.geodesiclabs/governance-platform
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
-
govenant-audit org.govenantstandard/govenant-audit
Run the GOVENANT trust audit on your own AI agents — read-only, aggregate-only. Detects…
-
air-blackbox-mcp io.github.airblackbox/air-blackbox-mcp
EU AI Act compliance scanner for Python AI agents. 14 tools across 6 articles.
-
Tamper-evident, SHA-256 hash-chained audit trail and observability for AI agents.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.