crates.io · crates:stateright
stateright etkin
A model checker for implementing distributed systems.
| En son kararlı sürüm | 0.31.0 |
|---|---|
| Yayımlanma | 2025-07-27 23:53:25 UTC |
| Kurulum | cargo add stateright |
| Asgari Rust sürümü (rust-version) | belirtilmemiş |
| Lisans | MIT |
| En son sürüme ait güvenlik bildirimleri | bilinen yok |
| Son doğrulama | 2026-10-10 03:40:59 UTC |
| Kaynaklar | api.osv.dev, crates.io |
Bakım
| Etkinlik | yavaşlıyor |
|---|---|
| Son kararlı sürüm | 2025-07-27 23:53:25 UTC · 439 gün önce |
| Son 12 aydaki kararlı sürümler | 0 |
| Yayımlanan sürümler | 52 |
Yalnızca yayımlanma tarihlerine dayanan bir sezgisel ölçüm; issue’lara veya güvenlik sorunlarına yanıt sürelerini ölçmez.
Sürüm geçmişi
| Sürüm | Yayımlanma |
|---|---|
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 |
52 sürümün en yeni 20 tanesi gösteriliyor. JSON
Bu verileri yapay zekâ ajanınıza verin
Vigia ücretsiz bir MCP sunucusudur: kodlama ajanınız kod yazmadan önce sürümleri, uyumsuz değişiklikleri ve güvenlik açıklarını kontrol eder. Kayıt ve API anahtarı gerekmez.
claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp
Cursor'a ekleVS Code'a ekle★ GitHub'da yıldız ver
Diğer tüm MCP istemcileri
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }Ajan becerisi (SKILL.md): ajana Vigia'yı ne zaman kullanacağını söyler · Pull request için GitHub Action
Sık sorulan sorular
stateright paketinin en son sürümü nedir?
stateright paketinin en son kararlı sürümü 0.31.0; yayımlanma tarihi 2025-07-27. Vigia tarafından 2026-10-10 tarihinde doğrulandı.
stateright paketinin en son sürümünü nasıl kurarım?
cargo add stateright komutunu çalıştırın. En son kararlı sürüm 0.31.0 (2026-10-10 tarihinde doğrulandı).
stateright kullanımdan kaldırıldı mı?
Hayır. stateright kayıt defterinde kullanımdan kaldırılmış olarak işaretli değil.
stateright hangi Rust sürümünü gerektiriyor?
stateright 0.31.0 bir Rust sürüm gereksinimi belirtmiyor.
stateright 0.31.0 sürümünde bilinen güvenlik açıkları var mı?
Vigia’nın kontrol ettiği verilere göre stateright 0.31.0 sürümünü etkileyen bilinen bir güvenlik bildirimi yok.
stateright hâlâ bakımı yapılıyor mu?
stateright son 12 ayda 0 kararlı sürüm yayımladı; en sonuncusu 439 gün önce. Etkinlik: yavaşlıyor.
Gözlenen değişiklikler
Vigia bu paketi izlemeye başladığından beri henüz değişiklik gözlenmedi.
İlgili paketler
- 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 için rozetler
Bu paketin en son sürümünü, bakım durumunu ve kullanımdan kaldırılıp kaldırılmadığını gösterin. Markdown’ı kopyalayın:
[](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright) [](https://vigia.coredls.cloud/crates/stateright)
Ajanlar için
GET https://vigia.coredls.cloud/v1/packages/crates/stateright
GET https://vigia.coredls.cloud/v1/packages/crates/stateright/versions/{version}