Is winter-prover safe to use?

winter-prover has no known vulnerabilities on the latest version (0.13.1). DepScope rates its health at 61/100 (moderate risk).

What is the latest version of winter-prover?

The latest version of winter-prover is 0.13.1, released 2025-07-19.

No known vulnerabilities on the latest version of winter-prover.

No, winter-prover is actively maintained. Latest release: 0.13.1 (2025-07-19).

Popular alternatives to winter-prover in Cargo include: hashbrown, getrandom, windows-sys, syn.

winter-prover is licensed under MIT.

cargov0.13.1

Winterfell STARK prover

License MITpermissive29 versions0 deps111,235 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

10/25

maintenance

14/20

popularity

25/25

security

12/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/winter-prover