Persistent research memory, context, dependencies and verification for mathematical research agents.
Continue an existing long-horizon mathematical research problem using persistent MathResearch Ledger state, or checkpoint a meaningful research increment.
