veriGuard-agent-safety-verification

Generate safety policies as executable code with formal verification, enabling provably-correct agent behavior through offline policy generation and online runtime enforcement.

Independent GitHub snapshot · Automated classification · Original documentation governs