Last released Jul 18, 2026
A deterministic gate for untrusted agents that ships with its own adversary and a re-runnable proof.
Supported by