crates.io · crates:stateright

stateright actif

A model checker for implementing distributed systems.

Dernière version stable	0.31.0
Publiée	2025-07-27 23:53:25 UTC
Installer	`cargo add stateright`
Version minimale de Rust (rust-version)	aucune déclarée
Licence	MIT
Alertes de sécurité sur la dernière version	aucune connue
Dernière vérification	2026-10-10 03:40:59 UTC
Sources	api.osv.dev, crates.io

Maintenance

Activité	en ralentissement
Dernière version stable	2025-07-27 23:53:25 UTC · il y a 439 jours
Versions stables sur les 12 derniers mois	0
Versions publiées	52

Heuristique fondée uniquement sur les dates de publication ; elle ne mesure pas les délais de réponse aux tickets ni aux problèmes de sécurité.

Historique des versions

Version	Publiée
`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

Affichage des 20 plus récentes sur 52 versions. JSON

Donnez ces données à votre agent IA

Vigia est un serveur MCP gratuit : votre agent de code vérifie les versions, les changements incompatibles et les vulnérabilités avant d'écrire du code. Sans inscription ni clé d'API.

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

Ajouter à Cursor Ajouter à VS Code ★ Étoile sur GitHub

Tout autre client MCP

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

Skill pour agents (SKILL.md) : indique à l'agent quand utiliser Vigia · GitHub Action pour les pull requests

Questions fréquentes

Quelle est la dernière version de stateright ?

La dernière version stable de stateright est la 0.31.0, publiée le 2025-07-27. Vérifié par Vigia le 2026-10-10.

Comment installer la dernière version de stateright ?

Exécutez cargo add stateright. La dernière version stable est 0.31.0 (vérifié le 2026-10-10).

stateright est-il déprécié ?

Non. stateright n’est pas marqué comme déprécié dans le registre.

Quelle version de Rust stateright exige-t-il ?

stateright 0.31.0 ne déclare aucune exigence de version de Rust.

stateright 0.31.0 présente-t-il des vulnérabilités connues ?

Aucune alerte de sécurité connue ne concerne stateright 0.31.0 d’après les données consultées par Vigia.

stateright est-il encore maintenu ?

stateright a publié 0 versions stables au cours des 12 derniers mois ; la plus récente il y a 439 jours. Activité : en ralentissement.

Changements observés

Aucun changement observé depuis que Vigia suit ce paquet.

Paquets associés

Badges pour votre README

Affichez la dernière version, l’état de maintenance et l’éventuelle dépréciation de ce paquet. Copiez le 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)

Pour les agents

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