Carregando o README do repositório…
gdp-rs pairs Rust runtime checks with evidence tied to the exact user and resource of a protected operation. Its Agent Skill guides adoption, lifetime errors and Cargo diagnostics.
Mostrando 1 de 1 skills coletadas.
Adopt, change, or review Rust Ghosts of Departed Proofs with ghostproof. Use for proof-gated operations, Named lifetime errors, scoped naming, const configuration checks, and cargo-gdp findings.
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/Rajaniraiyn/gdp-rs.Não foi possível carregar o README. Você ainda pode explorar os Skills do repositório abaixo.