LeanKG: Stop Burning Tokens. Start Coding Lean.

An open-source code repository and version control system for people and AI agents. Functions, types, recorded relationships and change history are repository data you commit, branch and merge. Look up what a change might affect before you make it. Public alpha.