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