API access

API documentation

Use the MathDB API to query public mathematical data, download datasets for offline work, or submit a theorem and proof to our Lean verification API. MathDB is free to browse. We charge for API access and dataset downloads to cover development costs, not to make a profit.

Checking your session…

Plans

Loading plans…

Data access terms

The Individual / Research plan is for one person. Business covers members of one organization. Each person uses their own login and keys. Source attribution and applicable third-party content licenses still apply.

Downloads contain public problem and solution text, tags, and attribution as ZIP/JSONL. Private account data, messages, embeddings, and attachments are excluded.