ProofFlow Maintainer
Codex plugin for Agent Work Ledger and ProofFlow maintainer evidence workflows.
Pacote de plugins · de Hyperion-GPU
Resumo
ProofFlow Maintainer é um pacote de plugins para ferramentas de programação com IA publicado por Hyperion-GPU. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). Vimos pela primeira vez em 2026-10-13 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.
O que pede
- Instala-se como pacote de plugins
- Configurações: 1
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Codex
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como plugin do Codex
Gerado a partir do que Community GitHub marketplaces declara.
codex plugin marketplace add hyperion-gpu/proofflow-v0.1Depois abra /plugins no Codex e instale proofflow-maintainer a partir desse marketplace.
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Marketplace da comunidade hyperion-gpu/proofflow-v0.1 (Abrir o código no GitHub) | Listado | 0.1.0 | Forks (GitHub): 1 Estrelas (GitHub): 7 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Listado em um marketplace da comunidade
| Marketplace | Repositório | Estrelas (GitHub) |
|---|---|---|
| proofflow-repo | hyperion-gpu/proofflow-v0.1 | 7 |
O que o pacote contém
Conforme publicado em Community GitHub marketplaces.
Servidores MCP: 1
proofflow
Skills: 1
proofflow-maintainer
O que mudou
- Passou a ser um produto que acompanhamos
- Community GitHub marketplaces: apareceu
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Self-hosted MCP server: a case file for every task, shared across sessions, agents and people.
-
Repository-native protocol and local MCP server for Work, Docs, History and durable project Memory.
-
Connects Claude Code to one Hydrant workspace you approve in the browser, and brings the hydrant skill: read first, write with receipts, read back, say what actually happened.
-
Connect agents to Lycatra knowledge, memory, collaboration, schedules, notifications, and teams.
-
Zero-trust military-grade AI co-founder OS with progressive FULL/PARTIAL/BASIC security, Fortress Bible audit trail, and native hooks
-
Explore your org's processes and drive AI transformation
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
Strale agent skills with remote MCP connector for Strale platform integration.
-
Drive a Busabase workspace and create complete workspace apps — approval-first, human stays in control.
-
Deterministic decision records for agents and humans. Local-first + team support. Supports both project-level and user-level scopes.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Zero-trust military-grade AI co-founder OS with progressive FULL/PARTIAL/BASIC security, Fortress Bible audit trail, and native hooks
-
Explore your org's processes and drive AI transformation
-
Strale agent skills with remote MCP connector for Strale platform integration.
-
Deterministic decision records for agents and humans. Local-first + team support. Supports both project-level and user-level scopes.
-
Bardeen wiq plugin — workflow automation with multi-agent orchestration and OAuth-secured remote MCP.
Listado em Claude Code: claude-plugins-official (5)
-
Ask Claude about the contractors you pay through Wingspan, what you owe them, and what is holding up a payment, then onboard contractors and log payments as drafts, with a preview…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Attorney guidance and legal tools for business and personal needs. AI-powered document review identifies critical risks and important clauses, advises when to engage an attorney…
-
QuickBooks business insights and actions: financial health briefings across P&L, cash flow, balance sheet and A/R, industry benchmarking, payroll cost analysis, overdue-invoice…
-
Work with your Box content directly from Claude Code — search files, organize folders, collaborate with your team, and use Box AI to answer questions, summarize documents, and…
Listado em Claude: knowledge-work-plugins (5)
-
Speed up contract review, NDA triage, and compliance workflows for in-house legal teams. Draft legal briefs, organize precedent research, and manage institutional knowledge.
-
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
-
Triage tickets, draft responses, escalate issues, and build your knowledge base. Research customer context and turn resolved issues into self-service content.
-
Ask Claude about the contractors you pay through Wingspan, what you owe them, and what is holding up a payment, then onboard contractors and log payments as drafts, with a preview…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
Listado em Codex: openai-curated (openai/plugins) (5)
-
Turn Codex into your ClickUp command center.
-
Notion workflows for implementation planning, research synthesis, meeting preparation, and knowledge capture.
-
Search, create and update Linear issues, projects, and initiatives. Draft PRDs, write updates, analyze customer requests, and keep plans up to date — all from within ChatGPT
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Work with SharePoint using the configured Microsoft SharePoint app connector.
Listado em Community GitHub marketplaces (5)
-
Self-hosted MCP server: a case file for every task, shared across sessions, agents and people.
-
Repository-native protocol and local MCP server for Work, Docs, History and durable project Memory.
-
Connects Claude Code to one Hydrant workspace you approve in the browser, and brings the hydrant skill: read first, write with receipts, read back, say what actually happened.
-
Connect agents to Lycatra knowledge, memory, collaboration, schedules, notifications, and teams.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Goal-driven task orchestration with independent verification. Interviews the user to define a clear goal, then loops between a Builder subagent (does the work) and an Inspector…
-
Turn your Copilot sessions into proof of impact — research-grounded HTML reports with effort estimation, skills analysis, and ROI metrics from local session logs.
-
Comprehensive collection for building declarative agents with Model Context Protocol integration for Microsoft 365 Copilot
-
Official incident.io plugins for AI agents: skills for working with [incident.io](https://incident.io/) — incidents, on-call, and investigations — and for authoring the…
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
Listado em Copilot CLI: github/copilot-plugins (5)
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
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…
Listado em Cursor: cursor/plugins (5)
Listado em Docker MCP Catalog (5)
-
Tools to interact with the Camunda 7 Community Edition Engine using the Model Context Protocol (MCP). Whether you're automating workflows, querying process instances, or…
-
Dart AI Model Context Protocol (MCP) server.
-
Server-enforced workflow discipline for AI agents: work items, dependency graphs, quality gates
-
Bridges n8n's workflow automation platform with AI models, providing access to 543 n8n nodes, workflow templates, and AI-capable automation tools.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
Listado em Official MCP Registry (5)
-
Self-hosted MCP server: a case file for every task, shared across sessions, agents and people.
-
Repository-native protocol and local MCP server for Work, Docs, History and durable project Memory.
-
Connect agents to Lycatra knowledge, memory, collaboration, schedules, notifications, and teams.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
Composable skill packets, harvests, workflow routing, and release/audit rubrics over MCP.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Community GitHub marketplaces. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.