Last released Jun 8, 2026
Verified safety layer for AI agent tool calls - capability, content, and budget gates with signed certificates and a Lean-checked policy model
Last released Mar 26, 2026
Lean-verified multi-agent sandboxing for OpenClaw and NemoClaw
Supported by
