Is leanclient safe to use?

leanclient has no known vulnerabilities on the latest version (0.10.0). DepScope rates its health at 68/100 (moderate risk).

What is the latest version of leanclient?

The latest version of leanclient is 0.10.0, released 2026-05-04.

Does leanclient have known vulnerabilities?

No known vulnerabilities on the latest version of leanclient.

Is leanclient deprecated?

No, leanclient is actively maintained. Latest release: 0.10.0 (2026-05-04).

What are alternatives to leanclient?

Popular alternatives to leanclient in PyPI include: boto3, packaging, urllib3, idna, certifi.

What license does leanclient use?

leanclient is licensed under MIT.

leanclient

pypiv0.10.0

Interact with the Lean theorem prover language server

License MITpermissive46 versions16 deps7,736 weekly dl

oOo0oOo/leanclient

/ 100

Health

use with caution

[email protected] low health (68/100) — consider alternatives

Moderate health score (68/100) — verify manually

Health breakdown0 – 100

25/25

maintenance

6/20

popularity

25/25

security

12/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (16)

orjson psutil tqdm gprof2dot ipykernel ruff sphinx-rtd-theme sphinx psutil pytest-benchmark pytest-cov pytest-html pytest-sugar pytest-timeout pytest-xdist pytest

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/leanclient

leanclient

pypiv0.10.0

Interact with the Lean theorem prover language server

License MITpermissive46 versions16 deps7,736 weekly dl

oOo0oOo/leanclient

/ 100

Health

use with caution

[email protected] low health (68/100) — consider alternatives

Moderate health score (68/100) — verify manually

Health breakdown0 – 100

25/25

maintenance

6/20

popularity

25/25

security

12/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (16)

orjson psutil tqdm gprof2dot ipykernel ruff sphinx-rtd-theme sphinx psutil pytest-benchmark pytest-cov pytest-html pytest-sugar pytest-timeout pytest-xdist pytest

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/leanclient