Integrace LSP MCP serveru
LSP MCP Server propojuje Language Server Protocol (LSP) servery s AI asistenty, což umožňuje pokročilou analýzu kódu, inteligentní doplňování, diagnostiku a aut...
4 min čtení
AI
Code Intelligence
+4
LSP
Lean LSP MCP Server
Lean LSP MCP server propojuje AI asistenty a projekty Lean Theorem Prover pomocí Language Server Protocolu, což umožňuje agentům přístup k diagnostice, stavům c...
4 min čtení
Lean
LSP
+4