Is lean-explore safe to use?

lean-explore has no known vulnerabilities on the latest version (1.2.1). DepScope rates its health at 61/100 (moderate risk).

What is the latest version of lean-explore?

The latest version of lean-explore is 1.2.1, released 2026-02-04.

Does lean-explore have known vulnerabilities?

No known vulnerabilities on the latest version of lean-explore.

Is lean-explore deprecated?

No, lean-explore is actively maintained. Latest release: 1.2.1 (2026-02-04).

What are alternatives to lean-explore?

Popular alternatives to lean-explore in PyPI include: six, typing-inspection, boto3, aiohttp, tqdm.

What license does lean-explore use?

lean-explore is licensed under Apache-2.0.

lean-explore

pypiv1.2.1

A search engine for Lean 4 declarations.

License Apache-2.0permissive15 versions32 deps1,440 weekly dl

justincasher/lean-explore

/ 100

Health

use with caution

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

Moderate health score (61/100) — verify manually

Health breakdown0 – 100

20/25

maintenance

6/20

popularity

25/25

security

9/15

maturity

1/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/lean-explore