crates.io · crates:stateright

stateright actief

A model checker for implementing distributed systems.

Nieuwste stabiele versie	0.31.0
Gepubliceerd	2025-07-27 23:53:25 UTC
Installeren	`cargo add stateright`
Minimale Rust-versie (rust-version)	niets opgegeven
Licentie	MIT
Beveiligingsadviezen voor de nieuwste versie	geen bekend
Laatst geverifieerd	2026-10-10 03:40:59 UTC
Bronnen	api.osv.dev, crates.io

Onderhoud

Activiteit	vertragend
Laatste stabiele versie	2025-07-27 23:53:25 UTC · 439 dagen geleden
Stabiele versies in de afgelopen 12 maanden	0
Gepubliceerde versies	52

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Versiegeschiedenis

Versie	Gepubliceerd
`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

De 20 meest recente van 52 versies worden getoond. JSON

Geef je AI-agent deze feiten

Vigia is een gratis MCP-server: je coding-agent controleert versies, breaking changes en kwetsbaarheden voordat hij code schrijft. Geen account, geen API-sleutel.

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

Toevoegen aan Cursor Toevoegen aan VS Code ★ Ster op GitHub

Elke andere MCP-client

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

Agent-skill (SKILL.md): vertelt de agent wanneer hij Vigia moet gebruiken · GitHub Action voor pull requests

Veelgestelde vragen

Wat is de nieuwste versie van stateright?

De nieuwste stabiele versie van stateright is 0.31.0, gepubliceerd op 2025-07-27. Geverifieerd door Vigia op 2026-10-10.

Hoe installeer ik de nieuwste versie van stateright?

Voer cargo add stateright uit. De nieuwste stabiele versie is 0.31.0 (gecontroleerd op 2026-10-10).

Is stateright verouderd?

Nee. stateright is in het register niet als verouderd gemarkeerd.

Welke Rust-versie vereist stateright?

stateright 0.31.0 geeft geen vereiste voor de Rust-versie op.

Heeft stateright 0.31.0 bekende kwetsbaarheden?

Volgens de gegevens die Vigia controleert, gelden er geen bekende beveiligingsadviezen voor stateright 0.31.0.

Wordt stateright nog onderhouden?

stateright publiceerde de afgelopen 12 maanden 0 stabiele versies; de meest recente 439 dagen geleden. Activiteit: vertragend.

Waargenomen wijzigingen

Nog geen wijzigingen waargenomen sinds Vigia dit pakket volgt.

Gerelateerde pakketten

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de 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)

Voor agents

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