{"library":"leanclient","install":[{"cmd":"pip install leanclient","imports":["from leanclient import LeanClient","from leanclient import LeanServer"]}]}