What problem does it solve?
Rust's unique ownership and concurrency model, along with the potential for unsafe code, requires specialized review to ensure correctness and safety. This skill performs in-depth Rust audits with reproducible evidence.
Core Features & Use Cases
- Borrowing & Lifetimes: Inspects for unnecessary clones,
Rc<RefCell<_>> misuse, and suggests borrowing patterns.
- Error Handling: Evaluates
Result/Option usage, custom error types, and propagation.
- Concurrency & Async: Reviews
Arc, Mutex, tokio::sync primitives, and Send/Sync bounds.
- Unsafe & FFI Audit: Documents invariants for
unsafe blocks and audits extern "C" interfaces.
- Cargo Dependencies: Runs
cargo tree -d, cargo audit, cargo outdated to spot issues.
- Use Case: Review a critical Rust library to ensure correct ownership and lifetime management, identify potential data races in concurrent code, and audit any
unsafe blocks for adherence to invariants.
Quick Start
Run git-workspace-review and review-core to establish context, then use this skill to inspect borrowing and lifetimes in your Rust diffs.