LSP MCPサーバーの統合
LSP MCPサーバーは、Language Server Protocol（LSP）サーバーをAIアシスタントに接続し、FlowHunt内で標準化されたLSP機能を通じて、高度なコード解析、インテリジェントな補完、診断、エディタの自動化を実現します。...
2 分で読める
AI
Code Intelligence
+4
LSP
Lean LSP MCPサーバー
Lean LSP MCPサーバーは、AIアシスタントとLean定理証明プロジェクトをLanguage Server Protocolを通じて橋渡しし、エージェントが診断情報、ゴール状態、コード補完、定理検索などにアクセスできるようにすることで、高度なLeanワークフローの自動化を実現します。...
1 分で読める
Lean
LSP
+4