skill-lake-repair

Run Lean build with automatic error repair for missing cases, unused variables, and unused imports