Pricing
Per-use. No lump sums. Announced at launch.
You pay for what you actually run — proof runs and live sessions — and nothing while you are just thinking.
Why per-use. A lump sum is a bet on a tool you have not tested, paid by the people who can least afford to be wrong about it. Per-use means you pay only when you ask the engine to prove something — and a modest account gets exactly the rigor a large one does, at a cost that scales with what you actually use.
Forge + ProofBench
Metered per proof run. Design and edit for free; pay when you ask for a verdict.
Bridge
Metered per live session on an approved machine and chart slot.
Prime (managed model)
A separate seat fee, capped seats, priced at launch.
Launch cap
One hundred platform users at launch so parity and support stay real. Waitlist order decides the first seats.
Waitlist
Hear the numbers first.
We publish pricing to the waitlist before it goes on this page.