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

تقدير تقريبي يعتمد على تواريخ النشر فقط؛ ولا يقيس سرعة الاستجابة للمشكلات أو للثغرات الأمنية.

سجل الإصدارات

الإصدار	تاريخ النشر
`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

يُعرض أحدث 20 من أصل 52 إصدارًا. JSON

زوّد وكيل الذكاء الاصطناعي بهذه البيانات

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 على أنها موقوفة في السجل.

ما إصدار Rust الذي تتطلبه stateright؟

لا يحدّد stateright 0.31.0 أي متطلب لإصدار Rust.

هل توجد ثغرات معروفة في stateright 0.31.0؟

لا توجد تنبيهات أمنية معروفة تؤثر في stateright 0.31.0 وفقًا للبيانات التي يتحقق منها Vigia.

هل ما زالت stateright تحظى بالصيانة؟

نشرت stateright ‏0 إصدارات مستقرة خلال آخر 12 شهرًا؛ وكان أحدثها قبل 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}