Walks every unsafe block, ties to docs, flags missing SAFETY comments. Trained against the top 200 crates by download. Outputs deliberately Markdown-ready for PR comments.
Reviews async code: Send/Sync bounds, lifetimes, accidental blocking inside .await, cancellation correctness. Very opinionated about tokio::spawn patterns.
Reviews your Error enum: thiserror vs anyhow, source chain hygiene, Display vs Debug, conversion ergonomics. Suggests refactors with diff blocks.
Opinionated crate skeleton: CI, docs, deny lints, msrv pinning, semver-checks, miri, cargo-deny, supply-chain audit hooks. Drop-in cargo generate.
Tuned-up lint pass with rationale per warning. Filters clippy noise, suggests fixes inline, generates a paste-ready PR comment with grouped findings.
Wraps miri runs, parses output, ties UB findings back to source spans. Pairs naturally with rust-audit-pro for safety-critical PRs.