README des Repositorys wird geladen…
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.
Es werden 1 von 1 gesammelten Skills angezeigt.
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.
Quellsprache: Englisch
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Rajaniraiyn/gdp-rs.Die README konnte nicht geladen werden. Die Skills des Repositorys lassen sich unten weiterhin ansehen.