Is knuckledragger safe to use?

knuckledragger has no known vulnerabilities on the latest version (0.2.0). DepScope rates its health at 50/100 (high risk).

What is the latest version of knuckledragger?

The latest version of knuckledragger is 0.2.0, released 2026-02-01.

Does knuckledragger have known vulnerabilities?

No known vulnerabilities on the latest version of knuckledragger.

Is knuckledragger deprecated?

No, knuckledragger is actively maintained. Latest release: 0.2.0 (2026-02-01).

What are alternatives to knuckledragger?

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

What license does knuckledragger use?

knuckledragger is licensed under MIT.

knuckledragger

pypiv0.2.0

Interactive Theorem Prover

License MITpermissive3 versions1 maintainers19 deps

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (19)

z3-solver lark graphviz sympy pytest nbclient;jupyter;hypothesis cle pypcode click maturin[patchelf]egglog python-flint;cffi ziglang cloudpickle cvc5 yowasp-yosys

API access

Get this data programmatically — free, no authentication.

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