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.