Lean LSP MCP Server
Lean LSP MCP-serveren forbinder AI-assistenter og Lean Theorem Prover-projekter ved hjælp af Language Server Protocol, så agenter kan få adgang til diagnostik, ...
3 min læsning
Lean
LSP
+4
Lean
Lean LSP MCP-serveren forbinder AI-assistenter og Lean Theorem Prover-projekter ved hjælp af Language Server Protocol, så agenter kan få adgang til diagnostik, ...