Verify — free trial

10 free verifications. Real verdicts, real transcripts. No certificates on trial — the certificate is the product, and it ships with paid verification.

The verification backend is being connected to this page as part of the launch rollout. If the button reports the API as unreachable, the engine isn’t wired yet — check back shortly or email hello@axiom-code.com.

Email (counts your 10 trial uses) Lean 4 code

theorem add_comm_nat (a b : Nat) : a + b = b + a := by
  exact Nat.add_comm a b

A PASSED trial verdict proves the engine works. To get the signed certificate — the thing you can hand to an auditor, a customer, or a counterparty — buy credits.