VAREK

介紹

Pre-execution authorization runtime for autonomous AI agents. An SMT decision procedure returns SATISFIED, UNSATISFIED, or UNKNOWN; anything short of SATISFIED fails closed at the kernel boundary via seccomp-BPF and seccomp user-notify. Patent-pending, MIT-licensed. Don't Trust. Verify.

翻譯準備中

取自儲存庫 README

README

正在載入完整 README。 以下為已儲存的摘錄。

Deterministic pre-execution verification of AI agent actions, enforced at the kernel. Reporting vulnerabilities: private vulnerability reporting or SECURITY.md. Do not open public issues. VAREK decides whether an AI agent's planned actions are allowed before they execute, and enforces that decision at the kernel boundary.