Provable rails for unattended AI engineering — every code change, gate, evidence and rollback is auditable. / ProofRail 为 AI 无人值守编程铺设可证明的轨道——代码变更、门禁、证据、回滚，全程可审计。
cli golang mcp rollback verification tui provenance reproducibility ai-safety human-in-the-loop ai-agents audit-trail fail-safe guardrails content-addressable ai-governance autonomous-coding provable-ai proofrail unattended-ai
-
Updated
Sep 23, 2026 - Go