Simple organization pricing

Free proof engine. Paid operational guardrails.

No metered units, top-ups, enterprise tier, hosted capacity, or sales call. Guard runs entirely on customer-owned compute.

Community

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
Run the free doctor

What the subscription buys

An 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.

Commercial boundary

Included

  • Object-code Guard release for internal use
  • Versioned CLI and JSON contracts
  • Quarterly qualified release channel
  • Security and compatibility notices
  • Documentation and asynchronous issue support

Not included

  • SLA or guaranteed response time
  • Onboarding or architecture calls
  • Custom AIR development or private branches
  • Hosted proving or proof-data processing
  • SSO, procurement programs, redistribution, resale, OEM, or service-bureau rights

Refunds and billing

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.