DafnyRuntimePython

pypiv4.11.0

Dafny runtime for Python

License MITpermissive11 versions0 deps47,792 weekly dl
dafny-lang/dafny
59
/ 100
Health
safe to use

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

Health breakdown0 – 100
10/25
maintenance
10/20
popularity
25/25
security
9/15
maturity
5/15
community
Vulnerabilities
0
none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/DafnyRuntimePython
More from pypi
boto3boto3/packagingurllib3urllib3/requests
Browse all pypi packages →

Last updated · 2025-08-25T20:54:30.501513Z

DafnyRuntimePython — Health Score 59/100 | DepScope | DepScope