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
Lean
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...