Is leanclient safe to use?

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

What is the latest version of leanclient?

The latest version of leanclient is 0.9.4, released 2026-03-17.

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.9.4 (2026-03-17).

What are alternatives to leanclient?

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

What license does leanclient use?

leanclient is licensed under MIT.

leanclient

pypiv0.9.4

Interact with the Lean theorem prover language server

License MITpermissive45 versions16 deps8,006 weekly dl

oOo0oOo/leanclient

/ 100

Health

use with caution

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

Moderate health score (63/100) — verify manually

Health breakdown0 – 100

20/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