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

仅根据发布时间估算，不反映对 issue 或安全问题的响应速度。

版本历史

版本	发布时间
`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 个版本中最新的 20 个。 JSON

把这些数据交给你的 AI 智能体

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

常见问题

stateright 的最新版本是什么？

stateright 的最新稳定版本是 0.31.0，发布于 2025-07-27。Vigia 于 2026-10-10 核实。

如何安装 stateright 的最新版本？

运行 cargo add stateright。最新稳定版本是 0.31.0（2026-10-10 核实）。

stateright 是否已弃用？

否。注册表中 stateright 未被标记为已弃用。

stateright 需要哪个版本的 Rust？

stateright 0.31.0 未声明对 Rust 版本的要求。

stateright 0.31.0 是否存在已知漏洞？

根据 Vigia 检查的数据，没有已知安全公告影响 stateright 0.31.0。

stateright 是否仍在维护？

stateright 在过去 12 个月内发布了 0 个稳定版本，最近一次在 439 天前。活跃度：放缓。

观察到的变更

自 Vigia 开始跟踪此软件包以来，尚未观察到变更。

用于 README 的徽章

展示此软件包的最新版本、维护状态以及是否已弃用。复制 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)

供智能体使用

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