crates.io · crates:stateright
stateright aktiv
A model checker for implementing distributed systems.
| Neueste stabile Version | 0.31.0 |
|---|---|
| Veröffentlicht | 2025-07-27 23:53:25 UTC |
| Installieren | cargo add stateright |
| Minimale Rust-Version (rust-version) | keine angegeben |
| Lizenz | MIT |
| Sicherheitshinweise zur neuesten Version | keine bekannt |
| Zuletzt geprüft | 2026-10-10 03:40:59 UTC |
| Quellen | api.osv.dev, crates.io |
Pflege
| Aktivität | nachlassend |
|---|---|
| Letzte stabile Version | 2025-07-27 23:53:25 UTC · vor 439 Tagen |
| Stabile Versionen in den letzten 12 Monaten | 0 |
| Veröffentlichte Versionen | 52 |
Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.
Versionsverlauf
| Version | Veröffentlicht |
|---|---|
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 |
Die 20 neuesten von 52 Versionen werden angezeigt. JSON
Gib deinem KI-Agenten diese Fakten
Vigia ist ein kostenloser MCP-Server: Dein Coding-Agent prüft Versionen, Breaking Changes und Sicherheitslücken, bevor er Code schreibt. Ohne Anmeldung, ohne API-Schlüssel.
claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp
Zu Cursor hinzufügenZu VS Code hinzufügen★ Stern auf GitHub
Jeder andere MCP-Client
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }Agent-Skill (SKILL.md): sagt dem Agenten, wann er Vigia nutzen soll · GitHub Action für Pull Requests
Häufige Fragen
Was ist die neueste Version von stateright?
Die neueste stabile Version von stateright ist 0.31.0, veröffentlicht am 2025-07-27. Von Vigia geprüft am 2026-10-10.
Wie installiere ich die neueste Version von stateright?
Führe cargo add stateright aus. Die neueste stabile Version ist 0.31.0 (geprüft am 2026-10-10).
Ist stateright veraltet?
Nein. stateright ist in der Registry nicht als veraltet gekennzeichnet.
Welche Rust-Version benötigt stateright?
stateright 0.31.0 gibt keine Anforderung an die Rust-Version an.
Hat stateright 0.31.0 bekannte Sicherheitslücken?
Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise stateright 0.31.0.
Wird stateright noch gepflegt?
stateright hat in den letzten 12 Monaten 0 stabile Versionen veröffentlicht; die neueste vor 439 Tagen. Aktivität: nachlassend.
Beobachtete Änderungen
Seit Vigia dieses Paket beobachtet, wurden noch keine Änderungen festgestellt.
Verwandte Pakete
- 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 für Ihre README
Zeigen Sie die neueste Version, den Pflegestatus und den Deprecation-Status dieses Pakets. Markdown kopieren:
[](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright)
Für Agenten
GET https://vigia.coredls.cloud/v1/packages/crates/stateright
GET https://vigia.coredls.cloud/v1/packages/crates/stateright/versions/{version}