Is dafny safe to use?

dafny has no known vulnerabilities on the latest version (4.11.0). DepScope rates its health at 46/100 (high risk).

What is the latest version of dafny?

The latest version of dafny is 4.11.0, released 2025-09-15.

No known vulnerabilities on the latest version of dafny.

No, dafny is actively maintained. Latest release: 4.11.0 (2025-09-15).

DepScope has no curated alternatives for dafny at this time.

homebrewv4.11.0

Verification-aware programming language

License MITpermissive1 versions1 maintainers4 deps13 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Dependencies (4)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/dafny

Last updated · 2025-09-15T18:55:48Z