Is lean-explore safe to use?

lean-explore has no known vulnerabilities on the latest version (1.2.1). DepScope rates its health at 49/100 (high 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: requests, typing_extensions, python-dateutil, six, grpcio-status.

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 deps

justincasher/lean-explore

/ 100

Health

use with caution

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

Moderate health score (49/100) — verify manually

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

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