skill-lake-repair

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

maintainer

benbrastmckie

Обновлено 10.03.2026

Звёзды

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

Использование

После установки вы можете использовать этот skill, выполнив следующую команду в терминале:

skills use skill-lake-repair