rzk has no known vulnerabilities on the latest version (0.7.7). DepScope rates its health at 54/100 (high risk).

What is the latest version of rzk?

The latest version of rzk is 0.7.7, released 2025-11-05.

Does rzk have known vulnerabilities?

No known vulnerabilities on the latest version of rzk.

No, rzk is actively maintained. Latest release: 0.7.7 (2025-11-05).

What are alternatives to rzk?

DepScope has no curated alternatives for rzk at this time.

What license does rzk use?

rzk is licensed under BSD-3-Clause.

rzk

hackagev0.7.7

An experimental proof assistant for synthetic ∞-categories

License BSD-3-Clausepermissive30 versions1 maintainers0 deps

rzk-lang/rzk#readme

/ 100

Health

use with caution

Package name resembles 'riak' (possible typosquat). Verify the name is what you intend before installing.

Possible typosquat of 'riak'

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

⚠ Possible typosquat

Name is close to a popular package. Targets:

riak (close_name dist 2)

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/rzk

Last updated · 2025-11-05T08:53:10.535246055Z

rzk