PyPI · pypi:leanclient

leanclient active

Interact with the Lean theorem prover language server

Latest stable version	0.13.2
Published	2026-08-19 18:46:45 UTC
Requires	`python >=3.10`
License	MIT
Advisories on latest version	none known
Last verified	2026-09-28 19:22:26 UTC
Sources	pypi.org

Maintenance

Activity	active
Last stable release	2026-08-19 18:46:45 UTC · 40 days ago
Stable releases in the last 12 months	29
Published versions	52

Heuristic based only on release dates; it does not measure issue or security response times.

Showing the 20 most recent of 42 versions. JSON

What is the latest version of leanclient?

The latest stable version of leanclient is 0.13.2, published on 2026-08-19. Verified by Vigia on 2026-09-28.

Is leanclient deprecated?

No. leanclient is not marked as deprecated in the registry.

Which Python version does leanclient require?

leanclient 0.13.2 declares this requirement: python >=3.10.

Does leanclient 0.13.2 have known vulnerabilities?

No known advisories affect leanclient 0.13.2 according to the data Vigia checks.

Is leanclient still maintained?

leanclient published 29 stable releases in the last 12 months; the most recent was 40 days ago. Activity: active.

No changes observed yet since Vigia started tracking this package.

GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient/versions/{version}