crates.io · crates:stateright
stateright активний
A model checker for implementing distributed systems.
| Остання стабільна версія | 0.31.0 |
|---|---|
| Опубліковано | 2025-07-27 23:53:25 UTC |
| Встановлення | cargo add stateright |
| Мінімальна версія Rust (rust-version) | не вказано |
| Ліцензія | MIT |
| Попередження безпеки для останньої версії | невідомі |
| Остання перевірка | 2026-10-10 03:40:59 UTC |
| Джерела | api.osv.dev, crates.io |
Підтримка
| Активність | сповільнюється |
|---|---|
| Остання стабільна версія | 2025-07-27 23:53:25 UTC · 439 днів тому |
| Стабільних версій за останні 12 місяців | 0 |
| Опубліковано версій | 52 |
Евристика, що ґрунтується лише на датах публікації; не відображає швидкість реакції на issues та проблеми безпеки.
Історія версій
| Версія | Опубліковано |
|---|---|
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 |
Показано 20 найновіших із 52 версій. JSON
Передайте ці дані своєму ШІ-агенту
Vigia — безкоштовний MCP-сервер: ваш агент для програмування перевіряє версії, несумісні зміни та вразливості, перш ніж писати код. Без реєстрації та API-ключа.
claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp
Додати в CursorДодати в VS Code★ Зірка на GitHub
Будь-який інший MCP-клієнт
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }Навичка для агентів (SKILL.md): підказує агенту, коли використовувати Vigia · GitHub Action для pull request
Поширені запитання
Яка остання версія stateright?
Остання стабільна версія stateright — 0.31.0, опублікована 2025-07-27. Перевірено Vigia 2026-10-10.
Як встановити останню версію stateright?
Виконайте cargo add stateright. Остання стабільна версія — 0.31.0 (перевірено 2026-10-10).
Чи застарів stateright?
Ні. У реєстрі stateright не позначено як застарілий.
Яка версія Rust потрібна для stateright?
stateright 0.31.0 не вказує вимог до версії Rust.
Чи має stateright 0.31.0 відомі вразливості?
За даними, які перевіряє Vigia, відомих попереджень безпеки для stateright 0.31.0 немає.
Чи підтримується stateright?
За останні 12 місяців stateright випустив 0 стабільних версій; останню — 439 днів тому. Активність: сповільнюється.
Зафіксовані зміни
Відколи Vigia відстежує цей пакет, змін ще не зафіксовано.
Пов’язані пакети
- 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
Бейджі для README
Покажіть останню версію, стан підтримки та ознаку застарівання цього пакета. Скопіюйте Markdown:
[](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright)
Для агентів
GET https://vigia.coredls.cloud/v1/packages/crates/stateright
GET https://vigia.coredls.cloud/v1/packages/crates/stateright/versions/{version}