Lean Plans Pricing
Machine-readable plans and pricing scaffold for this API provider. Conforms to the API Commons Plans schema. Tier limits and prices are scaffold defaults; replace with provider-published values.
Lean Plans Pricing is the machine-readable pricing-plan profile for Lean on the APIs.io network, conforming to the API Commons Plans specification.
It defines 3 plans, covering freemium, paid, and enterprise tiers, with named plans including Free, Professional, Enterprise.
Tagged areas include Dependent Types, Formal Verification, Programming Language, and Theorem Prover.
Plans
Free entry tier for the Lean API surface. Intended for evaluation, prototyping, and low-volume integrations. Real limits and pricing must be reconciled with the provider's published plan documentation.
- Public Documentation
- Community Support
- Sandbox Access
- Lean
Production tier for Lean. Provides higher quotas, priority support, and access to the broader API portfolio. Pricing placeholder; align with the provider's pricing page.
- All Production Endpoints
- Email Support
- SLA Targets
- Webhook Subscriptions
- Lean
Custom-negotiated tier for Lean. Includes dedicated capacity, contractual SLAs, security review, data residency options, and named technical account management.
- Unlimited / Negotiated Volume
- 24/7 Dedicated Support
- Contractual SLA
- Security & Compliance Review
- Dedicated Account Manager
- Custom Data Residency
- Lean