Skip to content
#

proofrail

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Go 1 JavaScript 1 TypeScript 1

larsonzh / prfrail

Star 1

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 7, 2026
  • Go

Add this topic to your repo

To associate your repository with the proofrail topic, visit your repo's landing page and select "manage topics."

Learn more