rust-unsafe
Installation
SKILL.md
Unsafe & FFI
Safety Rules
| Rule | Guideline |
|---|---|
unsafe only for UB risk (not "dangerous") |
M-UNSAFE-IMPLIES-UB |
| Must have valid reason: novel abstraction, perf, FFI | M-UNSAFE |
| All code must be sound — no exceptions | M-UNSOUND |
| Must pass Miri, include safety comments | M-UNSAFE |
Never use unsafe to escape borrow checker |
general-01 |
Never use unsafe blindly for performance |
general-02 |
| No aliasing violations | general-03 |