ProofFlow
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
Servidor MCP · de Hyperion-GPU
Resumen
ProofFlow es un servidor MCP publicado por Hyperion-GPU. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-11 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-12.
Qué pide
- Se ejecuta en tu equipo
- Secretos: 1
- Ajustes: 2
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como servidor MCP local: paquete PyPI
Generado a partir de lo que declara Official MCP Registry.
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>"
}
}
}
}Sustituya los valores entre corchetes angulares por los suyos. Mostramos los nombres de los ajustes, nunca valores.
Ajustes opcionales que también indica: PROOFFLOW_BASE_URL.
No guardamos argumentos de arranque. Si el servidor necesita alguno, su propia documentación los indica.
Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 0.1.2 | Forks (GitHub): 3 Estrellas (GitHub): 49 |
Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
Nada ha cambiado en este plugin desde que lo seguimos.
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
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.
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en 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…
Publicado en 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…
Publicado en 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…
Publicado en 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.
Publicado en 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.
Publicado en 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.
Publicado en 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.
Publicado en 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.
Publicado en 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).
Publicado en 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.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Demuestre que mantiene el plugin con un archivo en su repositorio, un archivo en su dominio o un registro DNS. Recibirá avisos cuando un marketplace lo publique, lo retire, cambie su marca de verificado o lo que pide, y podrá poner su endpoint remoto en monitorización como servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.