math-research-ledger0 ★@Caie777Persistent research memory, context, dependency tracking and verification for long-horizon mathematical research agents.NewMCPMemory