health-fitnessbusiness
lean-lsp
Query Lean goals, diagnostics and other information.
maintainer
diegosouzapw
Mis à jour 2/28/2026
Étoiles
17
Forks
5
quick start
Installation and usage
Query Lean goals, diagnostics and other information.
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use lean-lsp