{"library":"lean-lsp-mcp","install":[{"cmd":"pip install lean-lsp-mcp","imports":["from lean_lsp_mcp import LeanLspClient"]}]}