{"library":"leanclient","install":[{"cmd":"pip install leanclient","imports":["from leanclient import LeanLSPClient","from leanclient import LeanClientPool","from leanclient import SingleFileClient"]}]}