Lean LSP MCP -palvelin
Lean LSP MCP -palvelin yhdistää tekoälyassistentit ja Lean Theorem Prover -projektit Language Server Protocolin avulla, mahdollistaen agenttien pääsyn diagnosti...
3 min lukuaika
Lean
LSP
+4
Lean
Lean LSP MCP -palvelin yhdistää tekoälyassistentit ja Lean Theorem Prover -projektit Language Server Protocolin avulla, mahdollistaen agenttien pääsyn diagnosti...