Cargando el README del repositorio…
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.
Mostrando 1 de 1 skills recopiladas.
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…
Idioma del texto original: inglés
Copia este prompt en el asistente de IA que estés usando.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/hexuria/impeccable-rust.No se ha podido cargar el README. Puedes seguir explorando los Skills del repositorio a continuación.