LSP MCP 서버 통합
LSP MCP 서버는 Language Server Protocol(LSP) 서버를 AI 어시스턴트와 연결하여, FlowHunt에서 표준화된 LSP 기능을 통한 고급 코드 분석, 지능형 자동완성, 진단, 에디터 자동화를 가능하게 합니다....
4 분 읽기
AI
Code Intelligence
+4
LSP
Lean LSP MCP 서버
Lean LSP MCP 서버는 AI 어시스턴트와 Lean Theorem Prover 프로젝트를 Language Server Protocol을 통해 연결하여, 진단, 목표 상태, 코드 자동완성, 정리 검색 등 고급 Lean 워크플로우 자동화를 위한 다양한 기능에 접근할 수 있게 합니다....
3 분 읽기
Lean
LSP
+4