Identify unsafe Rust patterns and FFI misuse in Rust projects.
npx skills add https://github.com/simorgh3196/tsuzulint --skill unsafe-checker
Please help me install this Agent Skill. Skill: unsafe-checker Source: https://github.com/simorgh3196/tsuzulint/tree/main/.agents/skills/unsafe-checker Command: npx skills add https://github.com/simorgh3196/tsuzulint --skill unsafe-checker
This Skill helps teams identify and remediate unsafe Rust patterns, including unsafe blocks, raw pointers, and FFI usage, to prevent memory safety violations and undefined behavior.
Install or run the skill against a Rust codebase with unsafe patterns to generate a safety audit report and recommended fixes.
High-intent search queries and answers about installing and using this skill.
To audit unsafe Rust blocks, run the skill against your codebase to statically lint for unsafe patterns. It identifies missing SAFETY comments, verifies documented invariants, and guides remediation to prevent memory safety violations.
Auditing FFI safety in Rust projects involves checking foreign function interfaces for correct memory ownership and pointer nullability. The skill reviews Rust<->C boundaries to verify proper error handling patterns and FFI misuse.
Creating safe wrappers for unsafe Rust code requires encapsulating unsafe logic behind safe APIs. The skill guides you to minimize unsafely exposed surfaces and properly handle raw pointers, ensuring the external interface remains safe.
Yes, you can lint unsafe Rust patterns across multiple crates and executables. The skill applies to codebases containing unsafe blocks, raw pointers, and foreign function interfaces, generating comprehensive safety audit reports.
Documenting invariants in unsafe Rust code is necessary to enforce memory safety and prevent undefined behavior. The skill ensures explicit invariants are present in SAFETY comments, verifying that the unsafe block's preconditions are clearly justified.
lywa1998Analyze unsafe Rust blocks and FFI interfaces for safety invariants.
cecon123Analyze unsafe Rust blocks and document SAFETY invariants for soundness.
rainoftimeVerify Rust-style ownership, borrowing, and lifetime rules in codebases.
huialiAnalyze Rust unsafe code blocks and FFI interactions for soundness.
