Open engine
$0 MIT licensed
- Proof engine and ordinary verifier
- Declarative AIR and trace schemas
- Compatibility checker and doctor
- Conventional and bounded primitives
- Reference workloads and public benchmarks
- Community issue tracker
No metered units, top-ups, enterprise tier, hosted capacity, or sales call. Guard runs entirely on customer-owned compute.
$0 MIT licensed
$4,990 / year
Annual recommended ยท save $998 versus monthly
Monthly: $499. Both checkout variants remain disabled until every launch gate passes.
Monthly not yet for saleAn activated exact release continues working locally and offline. An active subscription provides the right to activate later qualified releases. Cancellation takes effect at the end of the paid period and never remotely disables a release that was already activated.
Hosted merchant checkout, invoices, payment updates, renewal, dunning, cancellation, and any legally required refund are handled through the merchant portal. See the refund policy and subscription terms. Final binding terms and seller details must be counsel-approved before checkout can open.