Keep unsafe Rust behind a safe interface.
Guides developers in writing and reviewing unsafe Rust and building safe abstractions around it.
When to use it
Use when writing or reviewing unsafe Rust, building safe wrappers, or auditing unsafe operations.
It changes how the agent writes unsafe Rust by keeping unsafe blocks small and isolating them behind safe APIs.
What you provide
The documented Miri test commands use the nightly Rust toolchain.
Miri is needed for the unsafe-code testing prescribed by the audit checklist and reference commands.
The linting instructions use clippy to check unsafe-related patterns.
No additional actions listed.