Lean

Lean LSP MCP 서버

Lean LSP MCP 서버는 AI 어시스턴트와 Lean Theorem Prover 프로젝트를 Language Server Protocol을 통해 연결하여, 진단, 목표 상태, 코드 자동완성, 정리 검색 등 고급 Lean 워크플로우 자동화를 위한 다양한 기능에 접근할 수 있게 합니다....