/projects/proofloop
Proofloop
CLI em Bun que executa Claude e Codex como trabalhador/revisor pareados, transforma prompts em planos revisados e só termina depois de provas e gate adversarial de segurança.
Proofloop
Loop de agentes pareados guiado por prova e revisão
08
Contexto do projeto05
Problema
Proofloop enfrenta o desafio de transformar Loop de agentes pareados guiado por prova e revisão em um sistema útil, governado e explicável.
Solução
Proofloop é organizado em torno de fronteiras explícitas, fluxos inspecionáveis e um stack de entrega visível que inclui Bun, TypeScript, Anthropic e OpenAI.
Desafios
O trabalho difícil é manter autonomia, dados, ferramentas e experiência do usuário alinhados sem esconder risco operacional nem evidência.
Inovação
O diferencial é tratar arquitetura como superfície de produto: capacidades são explicadas por responsabilidades, caminhos de prova e limites de entrega.
Experiência de domínio
Proofloop demonstra julgamento de engenharia aplicada em arquitetura de produto, sistemas de agentes, fronteiras de dados, controles e disciplina de entrega.
Evidência do estudo de caso11
Resultados
- Proofloop transforma um conceito técnico em um fluxo de produto revisável.
- Mantém o comportamento do sistema ligado a fronteiras explícitas, evidência e decisões visíveis para operadores.
- Cria uma referência de arquitetura reutilizável para trabalhos relacionados de produtos de IA.
Decisões de arquitetura
- Proofloop separa superfícies de usuário das responsabilidades de runtime e controle de dados.
- Bun e as decisões de stack próximas aparecem como decisões de entrega, não como badges decorativos.
- Evidência, revisão e estado operacional continuam visíveis para que o sistema possa ser inspecionado depois do uso.
Sinais de experiência no domínio
Arquitetura de agentesGovernançaEvidênciaUX operacionalBun
Aprofundamento técnico09
Proofloop é um estudo de caso em Loop de agentes pareados guiado por prova e revisão. CLI em Bun que executa Claude e Codex como trabalhador/revisor pareados, transforma prompts em planos revisados e só termina depois de provas e gate adversarial de segurança. A profundidade está em tornar legíveis fronteiras, evidência, workflow e decisões de entrega.
Fronteira do sistema
Proofloop é apresentado por responsabilidades claras para que usuários, ferramentas, dados e ações de runtime não virem uma chamada opaca ao modelo.
Modelo de workflow
O fluxo mantém planejamento, uso de ferramentas, estado e apresentação de resultados separados o suficiente para o operador entender o que aconteceu e por quê.
Postura de evidência
A página trata provas, logs, artefatos e caminhos de revisão como parte do produto, não como notas opcionais de implementação.
Stack de entrega
Bun ancora a história de implementação enquanto o stack ao redor carrega persistência, interfaces, automação e verificação.
O que isso prova
- Proofloop expõe decisões de arquitetura como conteúdo de produto inspecionável.
- Bun se conecta a responsabilidades de runtime e entrega.
- O estudo distingue experiência do usuário, fronteiras de ferramentas, evidência e operações.
- A estrutura pode ser reutilizada em produtos agentivos relacionados.
2Indicador: paired agents
20Indicador: loop cap
4Indicador: quality checks
3Indicador: resume modes
1Indicador: security gate
100%Indicador: proof-gated
Stack tecnológico08
Bun
Motivo técnico: Chosen for a fast single-binary CLI that can install, run, and update with little ceremony.
TypeScript
Motivo técnico: Keeps the run manifest, options, gates, and agent state explicit across a complex CLI flow.
Anthropic
Motivo técnico: Claude is useful as a reviewer or worker because it is strong at critique, plans, and long-context code review.
OpenAI
Motivo técnico: Codex gives the loop a second implementation and review path instead of relying on one model family.
tmux
Motivo técnico: Detached sessions make long agent runs inspectable and resumable without tying up the main terminal.
Git
Motivo técnico: Worktrees isolate each run so the agent can work without contaminating the user's current branch.
GitHub
Motivo técnico: Draft PR support turns a proven run into something a human can review and merge.
Biome
Motivo técnico: Keeps formatting and lint checks fast enough to run inside the proof loop.
Ferramentas implementadas08
loop CLI
Ferramenta implementada: Starts a paired worker/reviewer run from a prompt, file, or proof requirement.
Plan review
Ferramenta implementada: Has the non-primary model sanity-check PLAN.md before implementation begins.
Agent selector
Ferramenta implementada: Lets the operator choose Claude, Codex, paired mode, or single-agent execution.
Message relay
Ferramenta implementada: Lets the worker and reviewer coordinate directly instead of routing every critique through the user.
Quality commands
Ferramenta implementada: Runs check, typecheck, test, and build commands as completion evidence.
Adversarial review
Ferramenta implementada: Blocks completion until security and performance risks are pressure-tested.
Resume manifest
Ferramenta implementada: Persists run state and transcripts so interrupted work can continue.
Draft PR creation
Ferramenta implementada: Packages the verified change set for human review without silently shipping it.