SentinelOps-CI/provability-fabric

Provable AI agents with behavioral guarantees enforced by formal verification, runtime security, and end-to-end audit trails.

1 best points · 0 comments · 1 Hacker News post · 14 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Is it possible to secure AI Agents? We need you (1 points, 0 comments, by MADEinPARIS, 2025-08-20)