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 client access
Structured API access for serious workspace and formalization work.
A premium service for teams that need stable request records, customer-safe status, reconnectable work, and supportable outcomes.
Subscription: $1000/month. Payment is handled through Stripe Checkout.
Plans
$1,000/month
For founders, solo operators, and serious individual workflow owners.
$15,000-$30,000/month
For AI, math, science, finance, or verification teams evaluating formal reasoning workflows.
$50,000-$100,000/month
For teams needing serious Lean and Mathlib support with priority review.
$250k-$1M/year
For organizations that need sustained access, planning, and private commercial terms.
Formalization packages
Formalization work is priced separately from ordinary API usage. Each order records its target, delivery artifacts, and support terms.
| 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
Select the API plan or formalization package.
Open a secure checkout session for API access.
Complete payment using the secure hosted checkout.
Use the API link with the paid access token.