skill-lake-repair

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

maintainer

benbrastmckie

업데이트됨 2026. 3. 10.

스타

438

포크

466

quick start

Installation and usage

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

설치

$ install --globalskills.sh

사용법

설치 후 터미널에서 다음 명령을 실행하여 이 스킬을 사용할 수 있습니다:

skills use skill-lake-repair