A multi-agent orchestration system for mathematical reasoning, steering prover swarms with verifier-gated fact-graph memory.