جارٍ تحميل ملف README للمستودع…
Uriah, an actual contributor to impeccable-rust, shares the Rust review and verification Skill and says he used it for OpenGrok. Its source organizes checks around failure risks and explicit evidence limits.
عرض ١ من أصل ١ skills مجمعة.
Use when writing, reviewing, hardening, or designing Rust for high-stakes or long-lived crates, when making working Rust faster or rewriting it, or when auditing or setting up how a crate is verified (Miri, Loom, Kani, TLA+, Lean). Checklist for exhaustive…
لغة النص الأصلي: الإنجليزية
انسخ هذا الطلب إلى المساعد الذكي الذي تستخدمه.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/hexuria/impeccable-rust.تعذر تحميل ملف README. لا يزال بإمكانك استكشاف مهارات المستودع أدناه.