Math Proof Studio is a proof-writing notebook built around ownership of your reasoning record. Write in a text-first editor, preserve every revision in a linked chain, and run deterministic protocol checks (not grades). Curate selected work into exportable Evidence Packs for sharing or archival.