{"library":"leanclient","type":"library","category":null,"description":"LeanClient is a Python library for interacting with the Lean theorem prover language server. It provides a client interface to the Lean 4 server, enabling automated theorem proving, project manipulation, and environment queries. Current version is 0.10.0, with a monthly release cadence.","language":"python","status":"active","version":"0.10.0","tags":["lean","theorem-prover","lsp","mathematics"],"install":[{"cmd":"pip install leanclient","imports":["from leanclient import LeanLSPClient","from leanclient import LeanClientPool","from leanclient import SingleFileClient"]}],"homepage":"https://github.com/oOo0oOo/leanclient","github":"https://github.com/oOo0oOo/leanclient","docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null,"provenance":{"verified_status":"passing","verified_at":"Fri Jul 03","last_verified":"Fri Jul 03","next_check":"Sun Aug 02","install_tag":null}}