Pay once
Stripe handles the payment in USD. The server checks the amount and currency before the order advances.
Proof engineering passes
Starter Proof Pass
100 proof credits for focused Lean 4 formalization, theorem-statement review and failing-proof triage. Delivered manually to your order page as a private claim code and intake instructions.
$19USD · one-time
✓100 reusable proof credits
✓Lean 4 statement and import review
✓Failure triage with next-step notes
✓Private claim code and intake checklist
Best for
Solo researchers and students working through a single formalization bottleneck.
Delivery
Manual · private order page · tracked status
Receive intake details
The private order page contains a claim code and a checklist for reproducible Lean context.
Verify the handoff
Proof work ends with a build command, revision, changed files and any unresolved proof boundary.