Last released Feb 28, 2026
Safety guardrails for LLM agents — budget enforcement, invariants, and provable guarantees. Zero dependencies.
Last released Feb 27, 2026
Formal safety framework for AI agents with provable guarantees
Supported by
