Integrarea serverului LSP MCP
Serverul LSP MCP conectează servere Language Server Protocol (LSP) cu asistenți AI, permițând analiză avansată a codului, completare inteligentă, diagnosticare ...
5 min citire
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
Serverul Lean LSP MCP face legătura între asistenții AI și proiectele Lean Theorem Prover folosind Language Server Protocol, permițând agenților acces la diagno...
4 min citire
Lean
LSP
+4