Rajaniraiyn
@rajaniraiyn
Skill 发布消息开发后端服务
帖子摘要
gdp-rs 将 Rust 运行时检查的证据绑定到受保护操作的具体用户和资源；配套 Agent Skill 指导接入、生命周期报错和 Cargo 诊断。
Rajaniraiyn/gdp-rs
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 1
- GitHub 星标
- 0
- GitHub Forks
- 0
仓库 README
暂时无法加载仓库 README。你仍可浏览下方的 Skill 目录。
相关分享
查看全部 →这个仓库中的 skills
职业分类待补全
已展示 1 / 1 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
未分类
描述
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.
原文语言：英语
更新
已展示 1 / 1 个已收集 Skill。
用 AI 助手安装
复制这段 Prompt，发给你正在使用的 AI 助手。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Rajaniraiyn/gdp-rs.