Proof Automation

Lean LSP MCPサーバー

Lean LSP MCPサーバーは、AIアシスタントとLean定理証明プロジェクトをLanguage Server Protocolを通じて橋渡しし、エージェントが診断情報、ゴール状態、コード補完、定理検索などにアクセスできるようにすることで、高度なLeanワークフローの自動化を実現します。...