RMA: Context-Orchestrated Research Math Agents
RMA is an agentic framework for long-horizon proof development built around a persistent, typed research store and an orchestrator that compiles operation-specific context from that store and an orchestrator that compiles operation-specific context from that store.