Rajaniraiyn
@rajaniraiyn
Skill 공개 소식백엔드 서비스 개발
게시물 요약 · 영어
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.
Rajaniraiyn/gdp-rs
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 1
- GitHub 스타
- 0
- GitHub 포크
- 0
저장소 README를 불러오는 중…
게시물
모두 보기 →이 저장소의 skills
분류 대기 중
수집된 skill 1개 중 1개를 표시합니다.
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.
원문 언어: 영어
업데이트
수집된 skill 1개 중 1개를 표시합니다.
AI 어시스턴트로 설치
이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Rajaniraiyn/gdp-rs.