stateright
cargov0.31.0A model checker for implementing distributed systems.
License MIT52 versions0 deps1,942,271 weekly dl
stateright/stateright67
/ 100
Health
safe to use
[email protected] is safe to use (health: 67/100)
Health breakdown0 – 100
10/25
maintenance
17/20
popularity
25/25
security
15/15
maturity
0/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/cargo/staterightMore from cargo
First published · 2018-07-12T05:15:23.519450Z
Last updated · 2025-07-27T23:53:25.127385Z