Tích hợp Máy chủ LSP MCP
Máy chủ LSP MCP kết nối các máy chủ Language Server Protocol (LSP) với trợ lý AI, giúp kích hoạt phân tích mã nâng cao, hoàn thành thông minh, chẩn đoán và tự đ...
6 phút đọc
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
Máy chủ Lean LSP MCP kết nối trợ lý AI và các dự án Lean Theorem Prover thông qua Language Server Protocol, cho phép các tác nhân truy cập chẩn đoán, trạng thái...
5 phút đọc
Lean
LSP
+4