Carregando o README do repositório…
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 coletadas.
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 do texto original: inglês
Copie este prompt para o assistente de IA que você usa.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/hexuria/impeccable-rust.Não foi possível carregar o README. Você ainda pode explorar os Skills do repositório abaixo.