ProofFlow
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
MCP-сервер · от Hyperion-GPU
Коротко
ProofFlow: MCP-сервер, издатель Hyperion-GPU. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-12.
Что просит
- Работает на вашем компьютере
- Секретов: 1
- Настроек: 2
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как локальный MCP-сервер: пакет PyPI
Собрано из того, что объявляет 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>"
}
}
}
}Замените значения в угловых скобках своими. Мы показываем имена настроек, но не значения.
Необязательные настройки, которые он тоже перечисляет: PROOFFLOW_BASE_URL.
Аргументы запуска мы не храним. Если серверу они нужны, их называет его собственная документация.
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 0.1.2 | Форки (GitHub): 3 Звёзды (GitHub): 49 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что менялось
С тех пор как мы следим за плагином, ничего не менялось.
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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).
Есть на витрине 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.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Это ваш плагин?
Докажите, что поддерживаете плагин: файлом в его репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, и сможете поставить его удалённый endpoint на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.