Is alephprover safe to use?

alephprover has no known vulnerabilities on the latest version (0.2.2). DepScope rates its health at 58/100 (high risk).

What is the latest version of alephprover?

The latest version of alephprover is 0.2.2, released 2026-04-20.

Does alephprover have known vulnerabilities?

No known vulnerabilities on the latest version of alephprover.

Is alephprover deprecated?

No, alephprover is actively maintained. Latest release: 0.2.2 (2026-04-20).

What are alternatives to alephprover?

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

What license does alephprover use?

alephprover is licensed under MIT.

alephprover

pypiv0.2.2

CLI tool for submitting Lean proof requests to the Aleph Prover API

License MITpermissive6 versions1 maintainers2 deps10 weekly dl

logiq-ai/alephprover

/ 100

Health

safe to use

[email protected] is safe to use (health: 58/100)

Health breakdown0 – 100

25/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (2)

click httpx

API access

Get this data programmatically — free, no authentication.

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

alephprover

pypiv0.2.2

CLI tool for submitting Lean proof requests to the Aleph Prover API

License MITpermissive6 versions1 maintainers2 deps10 weekly dl

logiq-ai/alephprover

/ 100

Health

safe to use

[email protected] is safe to use (health: 58/100)

Health breakdown0 – 100

25/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (2)

click httpx

API access

Get this data programmatically — free, no authentication.

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