Last released Jul 27, 2026
Prove an AI agent harness before it touches real data: canonical traces, invariant contracts, portable proof bundles, offline verification.
Supported by
