用途:审查 Rust 代码,重点检查所有权与借用、生命周期、错误处理、trait 与类型设计、接口设计、并发与内存序、unsafe 用法、命名风格、性能与 Clippy 配置等。
主要能力:提供一套审查工作流与检查清单。工作流要求先查看 Cargo.toml 确认 Rust edition(2018/2021/2024)与 MSRV,再检查依赖(如 thiserror 与 anyhow、tokio、serde 特性),然后通读改动文件的完整函数而非仅看 diff,逐类检查,最后在提交结论前完成验证门(crate 上下文、完整阅读、严重度匹配、验证协议)。
输出格式:以 [FILE:LINE] ISSUE_TITLE 形式报告,标注 Severity(Critical/Major/Minor/Informational)并说明问题与影响。严重度分级中,Critical 包括 unsafe 不健全、释放后使用、生产代码对用户输入 unwrap、数据竞争、错误内存序、循环 Arc 泄漏等;Major 包括错误缺少上下文、热路径 clone 掩盖设计问题、缺少 Send/Sync 等。
检查范围:涵盖所有权与借用(避免无谓 clone、参数用 &str/&[T]、Cow、迭代器链)、错误处理(Result、?、thiserror/anyhow、let-else)、trait 与类型(newtype、From/TryFrom、sealed trait)、接口设计(对象安全、Deref 纪律、可失败清理)、并发模型与内存序、无锁模式、unsafe 深度(有效性、drop check、provenance、Miri)、命名与风格、性能、Clippy 配置、类型状态模式。
使用方式:按工作流顺序执行,按需加载 references 目录下的参考文件(如 ownership-borrowing.md、error-handling.md、async-concurrency.md、unsafe-deep.md 等);性能、指针类型、类型状态、Clippy 配置等开发指导需加载 rust-best-practices 技能。
限制:资料未提供安装命令、收费方式、支持平台或具体运行环境要求,暂未提供。