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.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准