Token-budgeted MCP memory server for AI coding agents. Cuts memory-layer token spend ≥60%, shows an auditable savings ledger, guarantees zero silent forgetting. Python, zero deps, MIT, offline-first.