
Lean LSP MCPサーバー
Lean LSP MCPサーバーは、AIアシスタントとLean定理証明プロジェクトをLanguage Server Protocolを通じて橋渡しし、エージェントが診断情報、ゴール状態、コード補完、定理検索などにアクセスできるようにすることで、高度なLeanワークフローの自動化を実現します。...
LSP MCPサーバーでFlowHuntの高度なコードインテリジェンスを解放—AIによるコードナビゲーション、診断、補完、統合型開発ワークフローを実現します。
LSP MCP(Model Context Protocol)サーバーは、Language Server Protocol(LSP)サーバーとAIアシスタントの橋渡し役です。LSPサーバーに接続することで、LLMやその他のAIクライアントが標準化されたLSP機能を通じてコードベースと対話できるようになります。これにより、AIツールは高度なコード解析、ホバードキュメントの取得、コード補完提案の受信、診断情報へのアクセス、さらにはエディタや開発ワークフロー内でコードアクションの適用まで行えます。LSP MCPサーバーは、AIによるソースコードとのシームレスな連携を促進し、コードナビゲーションやエラー解決、インテリジェントなコード補完といった作業をより自動化・効率化します。
リポジトリやドキュメントには明示的なプロンプトテンプレートは記載されていません。
lsp-diagnostics://
lsp-hover://
lsp-completions://
get_info_on_location
get_completions
get_code_actions
open_document
close_document
get_diagnostics
start_lsp
restart_lsp_server
set_log_level
mcpServers
セクションにLSP MCPサーバーを追加します:{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
mcpServers
セクションにLSP MCPサーバーを挿入します:{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
claude --mcp-debug
でログを確認します。{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
APIキーのセキュリティ設定
LSPサーバーやMCPの設定でAPIキーが必要な場合は、環境変数を利用して安全に管理してください:
{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
],
"env": {
"API_KEY": "${LSP_API_KEY}"
},
"inputs": {
"api_key": "${LSP_API_KEY}"
}
}
}
}
FlowHuntでMCPを使う
MCPサーバーをFlowHuntワークフローに統合するには、フローにMCPコンポーネントを追加し、AIエージェントと接続します。
MCPコンポーネントをクリックして設定パネルを開き、システムMCP設定セクションに次のJSON形式でMCPサーバーの詳細を入力します:
{
"lsp-mcp": {
"transport": "streamable_http",
"url": "https://yourmcpserver.example/pathtothemcp/url"
}
}
設定が完了すると、AIエージェントはこのMCPをツールとして利用でき、すべての機能・能力にアクセス可能となります。“lsp-mcp"は実際のMCPサーバー名に、URLはご自身のMCPサーバーURLに変更してください。
セクション | 対応状況 | 詳細・備考 |
---|---|---|
概要 | ✅ | README.mdに概要あり |
プロンプト一覧 | ⛔ | プロンプトテンプレートの記載なし |
リソース一覧 | ✅ | 診断・ホバー・補完リソースがドキュメントあり |
ツール一覧 | ✅ | 8つのツール: get_info_on_location, get_completions等 |
APIキーのセキュリティ | ✅ | 環境変数の例あり |
サンプリングサポート(評価時は重要度低) | ⛔ | サンプリングサポートの記載なし |
LSP MCPサーバーは、LSP連携のための幅広いツール・リソースや十分なセットアップ手順、充実したドキュメントを備えています。一方で、プロンプトテンプレートの明示的対応やサンプリング・rootsサポートには言及がありません。コードベースやLSP統合には十分ですが、さらなる高度なMCP機能の拡充が期待されます。
評価: 7/10
ライセンスあり | ✅ (MIT) |
---|---|
ツールが1つ以上ある | ✅ |
フォーク数 | 4 |
スター数 | 42 |
LSP MCP(Model Context Protocol)サーバーは、AIアシスタントとLanguage Server Protocolサーバーの橋渡しをし、AIツールが標準化されたLSP機能を利用してコードベースとやり取りできるようにします。これにより、エディタやワークフロー内でコード解析、補完、診断、コードアクションを直接実行できます。
コードナビゲーション、リアルタイム診断(エラー・警告)、コード補完、ホバーによるドキュメント表示、自動コードアクションなどが利用可能になり、開発者のワークフローがより生産的かつAI主導になります。
FlowHuntのフローにMCPコンポーネントを追加し、LSP MCPサーバーの詳細情報を設定してください。これによりサーバーツールがAIエージェントの機能として利用可能になります。
はい。MITライセンスで提供され、プロジェクトへの統合が可能です。
はい。MCPサーバー設定で環境変数を使い、APIキーなどの機密値を安全に設定できます。
Lean LSP MCPサーバーは、AIアシスタントとLean定理証明プロジェクトをLanguage Server Protocolを通じて橋渡しし、エージェントが診断情報、ゴール状態、コード補完、定理検索などにアクセスできるようにすることで、高度なLeanワークフローの自動化を実現します。...
Lspace MCPサーバーは、Model Context Protocol (MCP) を実装したオープンソースのバックエンドおよびスタンドアロンアプリケーションです。あらゆるAIセッションから得られるインサイトを記録し、ツール間で統合して永続的かつ検索可能な知識を実現し、開発者が知的で文脈豊かなワークフローを構築で...
DeepNLPによるAIエージェントマーケットプレイスインデックス MCPサーバーは、AIエージェントのシームレスな検索、発見、監視を可能にします。高度な検索、分類、ウェブトラフィック分析、エージェントリスティングAPIをAIアシスタントのワークフローに統合し、開発と導入を効率化します。...