Lean Lsp MCP
未申請Lean Theorem Prover MCP
lean4lspmcp
インストール
$
claude mcp add lean-lsp uvx lean-lsp-mcp未申請リスティング
このMCPサーバーはあなたのものですか?
このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。
このサーバーを申請する