جارٍ تحميل ملف README للمستودع…
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.
عرض ١ من أصل ١ skills مجمعة.
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.
لغة النص الأصلي: الإنجليزية
انسخ هذا الطلب إلى المساعد الذكي الذي تستخدمه.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Rajaniraiyn/gdp-rs.تعذر تحميل ملف README. لا يزال بإمكانك استكشاف مهارات المستودع أدناه.