crates.io · crates:stateright

stateright aktif

A model checker for implementing distributed systems.

Versi stabil terbaru	0.31.0
Diterbitkan	2025-07-27 23:53:25 UTC
Instal	`cargo add stateright`
Versi Rust minimum (rust-version)	tidak dinyatakan
Lisensi	MIT
Peringatan keamanan pada versi terbaru	tidak ada yang diketahui
Terakhir diverifikasi	2026-10-10 03:40:59 UTC
Sumber	api.osv.dev, crates.io

Pemeliharaan

Aktivitas	melambat
Versi stabil terakhir	2025-07-27 23:53:25 UTC · 439 hari lalu
Versi stabil dalam 12 bulan terakhir	0
Versi yang diterbitkan	52

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Riwayat versi

Versi	Diterbitkan
`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

Menampilkan 20 versi terbaru dari 52 versi. JSON

Berikan fakta ini ke agen AI Anda

Vigia adalah server MCP gratis: agen coding Anda memeriksa versi, perubahan yang merusak kompatibilitas, dan kerentanan sebelum menulis kode. Tanpa pendaftaran, tanpa kunci API.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Tambahkan ke Cursor Tambahkan ke VS Code ★ Bintang di GitHub

Klien MCP lainnya

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill agen (SKILL.md): memberi tahu agen kapan memakai Vigia · GitHub Action untuk pull request

Pertanyaan umum

Apa versi terbaru stateright?

Versi stabil terbaru stateright adalah 0.31.0, diterbitkan pada 2025-07-27. Diverifikasi oleh Vigia pada 2026-10-10.

Bagaimana cara menginstal versi terbaru stateright?

Jalankan cargo add stateright. Versi stabil terbaru adalah 0.31.0 (diverifikasi 2026-10-10).

Apakah stateright sudah usang?

Tidak. stateright tidak ditandai sebagai usang di registri.

Versi Rust berapa yang dibutuhkan stateright?

stateright 0.31.0 tidak menyatakan kebutuhan versi Rust.

Apakah stateright 0.31.0 memiliki kerentanan yang diketahui?

Tidak ada peringatan keamanan yang diketahui untuk stateright 0.31.0 menurut data yang diperiksa Vigia.

Apakah stateright masih dikelola?

stateright menerbitkan 0 versi stabil dalam 12 bulan terakhir; yang terbaru 439 hari lalu. Aktivitas: melambat.

Perubahan yang teramati

Belum ada perubahan yang teramati sejak Vigia mulai memantau paket ini.

Paket terkait

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin Markdown:

[![version](https://vigia.coredls.cloud/badge/crates/stateright/version.svg)](https://vigia.coredls.cloud/crates/stateright)
[![maintained](https://vigia.coredls.cloud/badge/crates/stateright/maintained.svg)](https://vigia.coredls.cloud/crates/stateright)
[![status](https://vigia.coredls.cloud/badge/crates/stateright/status.svg)](https://vigia.coredls.cloud/crates/stateright)

Untuk agen

GET https://vigia.coredls.cloud/v1/packages/crates/stateright
GET https://vigia.coredls.cloud/v1/packages/crates/stateright/versions/{version}