Verifiable Agent Kernel (VAK)
v1.0 · 80%+ test coverage
Deterministic control plane for LLM agents. Least-privilege ABAC, WASM-sandboxed tools, Z3 formal verification before execution, 3-tier memory (Merkle DAG), multi-agent debate with quadratic-voting consensus, and a PRM fine-tuning toolkit. v1.0 with 80%+ test coverage and LangChain/AutoGPT/MCP adapters.
- Rust
- Python
- WASM
- Cedar/ABAC
- Z3