LeanKG: Stop Burning Tokens. Start Coding Lean.
mcp opencode gemini knowledge-graph graph-database cursor token claude kilo ai-agent llm claude-code mpc-servers claude-code-plugin opencode-plugin saving-token token-lean lean-code lean-context concise-context
-
Updated
Apr 12, 2026 - Rust