Proof Automation

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, ...