VSCode拡張機能

VSCode用のLilo言語拡張機能は以下を提供します：

.liloファイルのシンタックスハイライト、型検査、入力補完
仕様の充足可能性と冗長性のチェック
Pythonノートブックでのモニタリング結果の可視化のサポート

インストール

SpecForge VSCode拡張機能は2つの方法でインストールできます：

VSCode Marketplaceから

拡張機能をVisual Studio Marketplaceから直接インストールするか、VSCodeの拡張機能タブ（Ctrl+Shift+X または Cmd+Shift+X）で「SpecForge」を検索します。

VSIXファイルから

または、VSIXファイル（リリースに含まれています）からインストールできます：

VSCodeの拡張機能タブを開き（Ctrl+Shift+X または Cmd+Shift+X）、右上の3つのドットをクリックして、Install from VSIX...を選択します
VSCodeのコマンドパレットを開き（Ctrl+Shift+P または Cmd+Shift+P）、Extensions: Install from VSIX...と入力して、.vsixファイルを選択します

重要：拡張機能のバージョンがSpecForgeサーバーのバージョンと一致していることを確認してください。バージョンの不一致は互換性の問題を引き起こす可能性があります。

使用方法と設定

拡張機能が動作するには、SpecForgeサーバーにアクセスできる必要があります。接続方法は2つあります：

マネージドサーバー（specforge.spawnServer）：この設定を有効にすると、拡張機能がSpecForgeサーバープロセスを自動的に起動・管理します。specforgeバイナリがPATHにない場合はspecforge.serverPathを設定し、ポートを指定する場合はspecforge.preferredPortを設定します。
外部サーバー（デフォルト）：SpecForgeサーバーを自分で起動し（SpecForgeのセットアップを参照）、specforge.apiBaseUrl設定で拡張機能から参照できるようにします（デフォルト：http://localhost:8080）。

拡張機能がインストールされ、サーバーが実行されている状態で、.liloファイルおよび関連するPythonノートブックで自動的に動作するようになります。

VSCodeワークスペースは、特定のliloプロジェクトを含むディレクトリにする必要があります。拡張機能は、ワークスペースのルートにあるlilo.tomlファイルを使用してプロジェクトの詳細を判断します。プロジェクト構造の例については、Python SDKセットアップガイドを参照してください。

利用可能なすべての設定（LLM統合、サーバーチューニング、トレースなど）の完全なリファレンスについては、VSCode拡張機能ガイドの設定セクションを参照してください。