Lean LSP MCP Server
O servidor Lean LSP MCP faz a ponte entre assistentes de IA e projetos Lean Theorem Prover usando o Language Server Protocol, permitindo que agentes acessem dia...
4 min de leitura
Lean
LSP
+4
Lean
Carregando...
O servidor Lean LSP MCP faz a ponte entre assistentes de IA e projetos Lean Theorem Prover usando o Language Server Protocol, permitindo que agentes acessem dia...