About LeanKG on AIStoreHub
Description: LeanKG: Stop Burning Tokens. Start Coding Lean.
Asset Type: agent (agents).
Compatible Foundation Models: Frontier LLMs (GPT-4o, Claude 3.5 Sonnet, Gemini 1.5 Pro).
How to install or reuse: Using the official AIStoreHub CLI:pip install aistorehub && aihub pull community/leankg
