Analyze unsafe Rust blocks and document SAFETY invariants for soundness.
npx skills add https://github.com/cecon123/tg-remote-bot --skill rust-unsafe-cecon123
Please help me install this Agent Skill. Skill: rust-unsafe Source: https://github.com/cecon123/tg-remote-bot/tree/main/.agents/skills/rust-unsafe Command: npx skills add https://github.com/cecon123/tg-remote-bot --skill rust-unsafe-cecon123
Unsafe Rust is powerful but risky; this skill guides engineers to review unsafe blocks, enforce predictable safety, and minimize the unsafe surface across FFI boundaries and low-level code.
Summarize a risky unsafe block by writing a concise SAFETY rationale and encapsulate it behind a safe API.
High-intent search queries and answers about installing and using this skill.
To review unsafe Rust for soundness, analyze each block to verify safety invariants, document a SAFETY rationale, and confirm safe Rust cannot express the operation. Encapsulate the validated code into private modules with safe wrappers and tests.
The best way to minimize unsafe surface across FFI boundaries is encapsulating unsafe code into private modules and exposing safe wrappers. This restricts unsafety to internal boundaries while providing tested, safe public APIs for consumers.
Documenting SAFETY invariants for unsafe Rust is required to prove soundness and explain why safe Rust cannot express the operation. This commentary justifies the unsafe block during code reviews by making the safety contract explicit.
Yes, you can encapsulate unsafe Rust in performance-critical libraries by writing safe wrappers with tests. This pattern minimizes the unsafe surface, keeping unsafe code internal to ensure predictable safety without sacrificing low-level performance.
You should encapsulate unsafe Rust into private modules during code reviews of high-risk crates and FFI-heavy code. This minimizes the unsafe surface, confines unsafety to internal boundaries, and ensures safe public wrappers enforce predictable safety.
simorgh3196Identify unsafe Rust patterns and FFI misuse in Rust projects.
cecon123Identify unsafe Rust patterns and generate remediation reports for code reviews.
RediSearchPort a C module to Rust with crate creation and FFI wrapping.
flexisuite-orgAnalyze unsafe Rust code for FFI and memory safety risks.
