rust-type-erasure
Pass
Audited by Gen Agent Trust Hub on Nov 11, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides purely instructional content for Rust development, focusing on memory safety and soundness when using type erasure.
- [COMMAND_EXECUTION]: The documentation mentions standard developer tools such as
cargo test,rustup,miri, andclippyas part of a recommended verification workflow. These are presented as manual steps for the user and not as automated malicious commands. - [DYNAMIC_EXECUTION]: The skill includes Rust code examples involving
unsafepointer casts and Generic Associated Types (GATs). These are provided for educational purposes to demonstrate both sound implementations and common soundness bugs (like use-after-free). The examples are accompanied by extensive safety comments and warnings against copying unsound patterns.
Audit Metadata