crates.io · crates:stateright
stateright active
A model checker for implementing distributed systems.
| Latest stable version | 0.31.0 |
|---|---|
| Published | 2025-07-27 23:53:25 UTC |
| Install | cargo add stateright |
| Minimum Rust version (rust-version) | none declared |
| License | MIT |
| Advisories on latest version | none known |
| Last verified | 2026-10-10 03:40:59 UTC |
| Sources | api.osv.dev, crates.io |
Maintenance
| Activity | slowing down |
|---|---|
| Last stable release | 2025-07-27 23:53:25 UTC · 439 days ago |
| Stable releases in the last 12 months | 0 |
| Published versions | 52 |
Heuristic based only on release dates; it does not measure issue or security response times.
Version history
| Version | Published |
|---|---|
0.31.0 | 2025-07-27 23:53:25 UTC |
0.30.2 | 2024-06-03 02:51:34 UTC |
0.30.1 | 2023-08-27 21:11:23 UTC |
0.30.0 | 2023-05-28 20:24:18 UTC |
0.29.0 | 2022-03-19 19:29:00 UTC |
0.28.0 | 2021-05-22 21:59:28 UTC |
0.27.1 | 2021-05-11 04:15:49 UTC |
0.27.0 | 2021-05-09 22:06:10 UTC |
0.26.1 | 2021-05-01 23:39:18 UTC |
0.26.0 | 2021-04-05 05:48:02 UTC |
0.25.0 | 2021-04-03 15:48:55 UTC |
0.24.1 | 2021-03-30 07:36:19 UTC |
0.24.0 | 2021-03-30 05:52:36 UTC |
0.23.3 | 2021-03-29 03:55:11 UTC |
0.23.2 | 2021-03-17 01:45:51 UTC |
0.23.1 | 2021-03-08 01:20:50 UTC |
0.23.0 | 2021-02-22 02:42:10 UTC |
0.22.3 | 2021-02-13 19:09:38 UTC |
0.22.2 | 2021-02-07 00:06:46 UTC |
0.22.1 | 2021-01-19 02:18:52 UTC |
Showing the 20 most recent of 52 versions. JSON
Give your AI agent these facts
Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.
claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp
Add to CursorAdd to VS Code★ Star on GitHub
Any other MCP client
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests
Frequently asked questions
What is the latest version of stateright?
The latest stable version of stateright is 0.31.0, published on 2025-07-27. Verified by Vigia on 2026-10-10.
How do I install the latest version of stateright?
Run cargo add stateright. The latest stable version is 0.31.0 (verified 2026-10-10).
Is stateright deprecated?
No. stateright is not marked as deprecated in the registry.
Which Rust version does stateright require?
stateright 0.31.0 does not declare a Rust version requirement.
Does stateright 0.31.0 have known vulnerabilities?
No known advisories affect stateright 0.31.0 according to the data Vigia checks.
Is stateright still maintained?
stateright published 0 stable releases in the last 12 months; the most recent was 439 days ago. Activity: slowing down.
Observed changes
No changes observed yet since Vigia started tracking this package.
Related packages
- trait-variant
- jemalloc-ctl
- indoc-impl
- azure_svc_blobstorage
- id-set
- spl-token
- alloy-tx-macros
- guillotiere
- gcp_auth
- jsonpath_lib
- objc2-uniform-type-identifiers
- joinery
Badges for your README
Show the latest version, maintenance status and deprecation status of this package. Copy the Markdown:
[](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright)
For agents
GET https://vigia.coredls.cloud/v1/packages/crates/stateright
GET https://vigia.coredls.cloud/v1/packages/crates/stateright/versions/{version}