Lean LSP MCP Server
Der Lean LSP MCP-Server verbindet KI-Assistenten und Lean Theorem Prover-Projekte über das Language Server Protocol und ermöglicht Agenten den Zugriff auf Diagn...
4 Min. Lesezeit
Lean
LSP
+4
Proof Automation
Der Lean LSP MCP-Server verbindet KI-Assistenten und Lean Theorem Prover-Projekte über das Language Server Protocol und ermöglicht Agenten den Zugriff auf Diagn...