Quick-reference card for all Lean modes, skills, and commands. One-shot display, not a persistent mode: shows the card and exits without switching levels, writing flag files, or persisting anything. Trigger: /lean-help, "lean help", "what lean commands", "how do I use lean", "lean cheatsheet", "lean reference".
