Chargement du README du dépôt…
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.
Affichage de 1 skills collectés sur 1.
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.
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/Rajaniraiyn/gdp-rs.Le README n’a pas pu être chargé. Vous pouvez toujours consulter les Skills du dépôt ci-dessous.