Chargement du README du dépôt…
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.
Affichage de 1 skills collectés sur 1.
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…
Langue du texte source : anglais
Copiez ce prompt dans l’assistant IA que vous utilisez.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/hexuria/impeccable-rust.Le README n’a pas pu être chargé. Vous pouvez toujours consulter les Skills du dépôt ci-dessous.