rust-engineer

Memory safety in Rust is enforced through ownership, borrowing, and lifetime rules that prevent data races and use-after-free errors at compile time. This Skill analyzes your workspace to audit ownership patterns, eliminate unnecessary unsafe blocks outside core abstractions, and verify compliance with zero-unsafe-code policies for mission-critical applications.

Rust achieves high performance through zero-cost abstractions, SIMD intrinsics, and advanced compilation techniques. This Skill identifies performance bottlenecks in your Cargo configuration and codebase, applies optimizations for throughput-critical workloads like network parsing, and verifies results through comprehensive testing.

Async runtime selection depends on your workload, latency requirements, and ecosystem needs. This Skill analyzes your project context and Cargo dependencies to recommend and configure the appropriate runtime, balancing performance constraints with integration requirements for systems programming tasks.

MIRI is a Rust interpreter that detects undefined behavior in code execution, complementing compile-time checks. This Skill applies MIRI verification to validate memory safety properties and ensures comprehensive test coverage works alongside static analysis to catch runtime safety issues.

Clippy pedantic lints catch subtle correctness and performance issues beyond standard warnings. This Skill enforces pedantic compliance in your codebase to eliminate potential bugs and improve code quality for systems programming where reliability is critical.

Reproducible builds ensure identical binaries from the same source, critical for security audits and distribution. This Skill configures your Cargo workspace and compilation settings to achieve reproducibility while maintaining performance and safety constraints.