Last released Aug 25, 2026
Build LLM agents you can prove things about — Z3 proofs, CTL model checking, and conformal risk control, verified in the loop.
Last released Aug 11, 2026
Deterministic runtime verification and replay for AI agents
Supported by
