Individual Desk
$1,000/month
For founders, solo operators, and serious individual workflow owners.
- 2,500 accepted requests
- 250 managed interactions
- Priority support
- Onboarding call
Private beta checkout
Structured API access for serious workspace and formalization work.
A premium service layer for teams that need stable request records, customer-safe status, reconnectable work, and supportable outcomes.
$1k
individual entry
$15k+
research lab access
$50k+
formalization partner
$250k+
strategic annual terms
Plans
Choose the commercial plan that matches the work.
Research Lab
$15,000-$30,000/month
For AI, math, science, finance, or verification teams evaluating formal reasoning workflows.
- Capped research-lab access
- Limited artifact review
- Monthly usage review
- Customer-specific scope
Formalization Partner
$50,000-$100,000/month
For teams needing serious Lean/Mathlib support and priority review.
- Custom examples
- Artifact review route
- Priority support calendar
- Roadmap coordination
Strategic Research Partner
$250k-$1M/year
For organizations that need sustained access, planning, and private commercial terms.
- Annual order form
- Private procurement packet
- Custom support route
- Optional first-look addendum
Formalization packages
Scoped artifacts for high-value research work.
Formalization work is priced separately from ordinary API usage. The order form records the target, delivery artifacts, support terms, and claim boundary.
| Package | Price |
|---|---|
| Company Pilot | $25,000-$75,000 flat |
| Lean Statement/Skeleton | $25,000-$75,000 flat |
| Compiling Formalization | $100,000-$300,000 flat |
| Deep Theorem Formalization | $250,000-$750,000+ flat |
| Ongoing Research Partnership | $50,000-$100,000/month |
| Exclusive Or First-Look Rights | $1,000,000+/year |
Checkout flow
Access begins after payment confirmation.
-
1
Choose plan
Select the API plan or formalization package.
-
2
Sign order form
Confirm scope, allowance, support route, and claim boundary.
-
3
Pay through Stripe
Use the invoice or payment link provided for the order.
-
4
Receive access
Get the service URL, access credential, examples, and support route.
Private beta
Ready for a controlled first sale.
Live Stripe products, payment links, and customer-specific invoices are created per order. The public checkout page does not store payment credentials or access tokens.