1 items across the graph — tagged with Concise Context.
LeanKG: Stop Burning Tokens. Start Coding Lean.