1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
A local code graph engine for MCP agents: proof-aware state, guided next steps, continuity, and safer edits.