A local code graph engine for MCP agents: proof-aware state, guided next steps, continuity, and safer edits.