lean-lsp

Query Lean goals, diagnostics and other information.

maintainer

diegosouzapw

更新日 2026/2/28

スター

フォーク

quick start

Installation and usage

Query Lean goals, diagnostics and other information.

インストール

$ install --globalskills.sh

使い方

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

skills use lean-lsp