LeanKG: Local-First AI Coding Context with Token Savings