stateright/stateright
A model checker for implementing distributed systems. observed · 2026-08-28
Health v2 · maintenance only
47/100
- Activity 33
- Release rhythm 35
- Longevity 100
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3105
- days_rel: n/a
- days_push: 402
- n_releases_24m: 0
Adoption not part of the score
1866 stars · 62 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Stateright is a Rust actor library with an embedded model checker for implementing distributed systems, including a web UI for exploring system behaviors and a lightweight actor runtime. It supports exhaustive verification of protocols like Paxos and Raft, plus a built-in linearizability tester.
Use cases
- model check a distributed consensus protocol like paxos or raft
- verify safety and liveness properties of a distributed algorithm
- test linearizability of a distributed register implementation
- explore possible message reorderings and system behaviors in a web UI
- implement actors in rust and run them on a real network
- find counterexamples to invariants in a two phase commit protocol
When to choose
- you are implementing a distributed algorithm and want exhaustive verification of nondeterministic behaviors
- you need stronger coverage than black-box testing tools like Jepsen
- you want an embedded model checker in a Rust codebase
- you want to prototype and explore consensus protocols interactively
When to avoid
- you need a general-purpose formal methods tool like TLA+ or SPIN with rich specification languages
- your system is not written in or modeled with Rust
- you only need simple unit or integration testing without state-space exploration
Facets
library · maturity active
testing simulation concurrency developer-tools microservices testing developer-tools rust windows cli model-checking actor-model paxos raft linearizability-testing formal-methods consensus-protocols algorithms linux macos
10 sources
- readme: https://github.com/stateright/stateright · fetched 2026-08-28 · fc024a8a2f03
- homepage: https://docs.rs/stateright · fetched 2026-08-29 · 3e086b2af56b
- site_page: https://docs.rs/ · fetched 2026-08-29 · df347a24ac74
- site_page: https://docs.rs/crate/stateright/latest · fetched 2026-08-29 · 45f7f039b58d
- site_page: https://docs.rs/crate/stateright/latest/features · fetched 2026-08-29 · fc9787bb1f5c
- site_page: https://docs.rs/about · fetched 2026-08-29 · 29ab7986fbf5
- site_page: https://docs.rs/about/badges · fetched 2026-08-29 · 6588cac258af
- site_page: https://docs.rs/about/builds · fetched 2026-08-29 · 811231ca4680
- site_page: https://docs.rs/about/metadata · fetched 2026-08-29 · 0dcdccb2b2b2
- site_page: https://docs.rs/about/redirections · fetched 2026-08-29 · 1b1efd93105f
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| stateright/stateright | main | 47 |
For agents
markdown · JSON · MCP: product_card(name="stateright/stateright")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem