100 creditsOne-time
Starter Proof Pass
A focused first pass for one stubborn theorem.
$19USD / pass
- ✓100 reusable proof credits
- ✓Lean 4 statement and import review
- ✓Failure triage with next-step notes
- ✓Private claim code and intake checklist
Transparent, one-time pricing
Proof work should start with a clear budget.
No subscription ladder and no hidden credit conversion. Choose a pass, pay once and receive private intake instructions after manual delivery.
One-time proof passes
Pick the size of the uncertainty you need removed.
Every pass is paid once in USD and delivered manually to a private order page. No subscription, no customer login and no account credentials.
500 creditsOne-time
Pro Proof Pass
Enough room to repair a real proof campaign.
$79USD / pass
- ✓500 reusable proof credits
- ✓Lemma and dependency mapping
- ✓Proof-repair iteration notes
- ✓Priority intake guidance
2,000 creditsOne-time
Team Proof Pass
Shared capacity for a formal verification push.
$249USD / pass
- ✓2,000 reusable proof credits
- ✓Shared proof backlog intake
- ✓Team onboarding checklist
- ✓Campaign-level review notes
Prices are loaded from the live PostgreSQL catalogue. Stripe displays the final charge and the server verifies the amount before delivery.
100 credits
Starter Proof Pass
Solo researchers and students working through a single formalization bottleneck.
Full scope →500 credits
Pro Proof Pass
Independent researchers shipping a paper artifact or maintaining a serious Lean project.
Full scope →2,000 credits
Team Proof Pass
Small research teams coordinating a formal-methods milestone or release.
Full scope →Pricing FAQ
What the price includes.
Why are the passes priced this way?
Pricing reflects the amount of proof-engineering context and iteration included in each pass. Starter is for one blocked theorem, Pro is for a broader repair effort, and Team is for a shared formalization campaign.
Is the displayed price the final price?
The site and Stripe Checkout display the charge in USD. The Stripe amount is authoritative, and no client-supplied price is trusted by the order API.
Is delivery automatic?
No. Passes are manually prepared and posted to the private order page. Order tracking shows the payment and delivery state.
What if I cannot find my order?
Use the order number from the confirmation page together with the purchase email on the Track Order page. Support cannot recover an order from a different email alone.