LSP MCP服务器集成
LSP MCP服务器将语言服务器协议（LSP）服务器与AI助手连接，实现先进的代码分析、智能补全、诊断以及通过标准化LSP功能在FlowHunt中进行编辑器自动化。...
2 分钟阅读
AI
Code Intelligence
+4
LSP
Lean LSP MCP 服务器
Lean LSP MCP 服务器通过语言服务器协议（LSP）连接 AI 助手与 Lean 定理证明器项目，使代理能够访问诊断、目标状态、代码补全、定理搜索等功能，实现高级 Lean 工作流自动化。...
2 分钟阅读
Lean
LSP
+4