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
Proof Automation
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...