{"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"],"last_verified":"Sun Jun 07","install":[{"cmd":"pip install leanclient","imports":["from leanclient import LeanClient","from leanclient import LeanServer"]}],"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}