Is aristotlelib safe to use?

aristotlelib has no known vulnerabilities on the latest version (1.0.1). DepScope rates its health at 70/100 (moderate risk).

What is the latest version of aristotlelib?

The latest version of aristotlelib is 1.0.1, released 2026-04-07.

No known vulnerabilities on the latest version of aristotlelib.

No, aristotlelib is actively maintained. Latest release: 1.0.1 (2026-04-07).

Popular alternatives to aristotlelib in PyPI include: boto3, boto3/, packaging, urllib3/, certifi.

License information for aristotlelib is not declared in the registry metadata.

pypiv1.0.1

Aristotle SDK - Python library for automated theorem proving with Lean

23 versions1 maintainers6 deps3,044 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

25/25

maintenance

6/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

Dependencies (6)

API access

Get this data programmatically — free, no authentication.

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