prfrail

Provable rails for unattended AI engineering — every code change, gate, evidence and rollback is auditable. / ProofRail 为 AI 无人值守编程铺设可证明的轨道——代码变更、门禁、证据、回滚，全程可审计。

GitHub

Official source

Start locally with the CLI guide