skill-lake-repair

Name: skill-lake-repair
Author: benbrastmckie

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

maintainer

benbrastmckie

更新日 3/10/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

使い方

インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：

skills use skill-lake-repair