Compiles AI agent traces and truns them into reusable context.
LeanKG: Stop Burning Tokens. Start Coding Lean.