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}