Detect unsafe Rust patterns and enforce safety invariants across codebases.
npx skills add https://github.com/yumazak/kodo --skill unsafe-checker-yumazak
Please help me install this Agent Skill. Skill: unsafe-checker Source: https://github.com/yumazak/kodo/tree/main/.agents/skills/unsafe-checker Command: npx skills add https://github.com/yumazak/kodo --skill unsafe-checker-yumazak
The Unsafe Checker helps teams identify and remediate unsafe Rust patterns, unsafe code blocks, and risky FFI boundaries to prevent memory-safety issues.
Run the Unsafe Checker on a Rust codebase to surface unsafe patterns and generate concrete safety recommendations for remediation.
High-intent search queries and answers about installing and using this skill.
To detect unsafe Rust patterns, you need a static-analysis tool that identifies unsafe blocks, raw pointers, and unions. This process flags risky FFI boundaries and generates concrete safety recommendations for remediation during code reviews.
Enforcing safety invariants for Rust FFI boundaries requires documenting specific safety requirements and verifying them during code review. The framework provides SAFETY comments and invariant verification to guide reviewers in validating memory-safety critical constructs.
Writing SAFETY comments for unsafe blocks involves documenting the specific invariants your code upholds to prevent memory-safety issues. The framework provides guidance to help developers document requirements and prove that non-FFI-safe patterns are handled correctly.
Yes, you can use static analysis to check unsafe Rust code in CI pipelines. The checker surfaces unsafe patterns like unsafe fns and raw pointers, making it suitable for automated CI checks to prevent memory-safety issues from merging into your projects.
You need to verify safety invariants in Rust projects whenever you use unsafe blocks, raw pointers, or FFI boundaries. Verifying these memory-safety critical constructs prevents undefined behavior and ensures that your codebase remains safe despite bypassing Rust's borrow checker.
po4ykaAudit unsafe Rust usage across RIPDPI crates for safety invariants.
0xHoneyJarScan dApp frontend code for Web3 anti-patterns using oxlint or eslint.
simorgh3196Identify unsafe Rust patterns and FFI misuse in Rust projects.
po4ykaDetect undefined behavior in Rust with Miri and sanitizers.
