Lean LSP MCP
FlowHunt를 Lean LSP MCP 서버와 통합하여 AI 에이전트가 Lean 수학 증명을 자동화할 수 있도록 지원하며, 고급 진단, 자동 증명, 코드 자동완성, 정리 검색을 VSCode, Cursor, Claude Code 등과의 원활한 LSP 연결을 통해 제공합니다.
•
4 분 읽기
Math Integrations
Math Integrations 카테고리의 모든 콘텐츠 찾아보기
Math Integrations 카테고리의 모든 콘텐츠 찾아보기
FlowHunt를 Lean LSP MCP 서버와 통합하여 AI 에이전트가 Lean 수학 증명을 자동화할 수 있도록 지원하며, 고급 진단, 자동 증명, 코드 자동완성, 정리 검색을 VSCode, Cursor, Claude Code 등과의 원활한 LSP 연결을 통해 제공합니다.