Vigia

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.02025-07-27 23:53:25 UTC
0.30.22024-06-03 02:51:34 UTC
0.30.12023-08-27 21:11:23 UTC
0.30.02023-05-28 20:24:18 UTC
0.29.02022-03-19 19:29:00 UTC
0.28.02021-05-22 21:59:28 UTC
0.27.12021-05-11 04:15:49 UTC
0.27.02021-05-09 22:06:10 UTC
0.26.12021-05-01 23:39:18 UTC
0.26.02021-04-05 05:48:02 UTC
0.25.02021-04-03 15:48:55 UTC
0.24.12021-03-30 07:36:19 UTC
0.24.02021-03-30 05:52:36 UTC
0.23.32021-03-29 03:55:11 UTC
0.23.22021-03-17 01:45:51 UTC
0.23.12021-03-08 01:20:50 UTC
0.23.02021-02-22 02:42:10 UTC
0.22.32021-02-13 19:09:38 UTC
0.22.22021-02-07 00:06:46 UTC
0.22.12021-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}