Lean LSP MCP
FlowHuntをLean LSP MCPサーバーと統合することで、AIエージェントによるLean数学証明の自動化を実現し、高度な診断、自動証明、コード補完、定理検索などをVSCode、Cursor、Claude CodeなどのLSP接続を通じてシームレスに提供します。
•
1 分で読める
Math Integrations
カテゴリー Math Integrations のすべてのコンテンツを閲覧する
カテゴリー Math Integrations のすべてのコンテンツを閲覧する
FlowHuntをLean LSP MCPサーバーと統合することで、AIエージェントによるLean数学証明の自動化を実現し、高度な診断、自動証明、コード補完、定理検索などをVSCode、Cursor、Claude CodeなどのLSP接続を通じてシームレスに提供します。