用途:处理 Rust 实现、crate API、Cargo.lock、依赖版本与编译器检查时,先建立项目约定并确认精确版本证据,为所有权与借用、类型驱动设计和错误处理打基础。
主要能力与规则:读取 crate 说明、Cargo.toml、Cargo.lock、工具链文件以及最近的源码或测试,遵循现有架构与依赖。对每个 crate API、特性或导入路径,须用本地 crate 源码、文档或最小编译对照锁定版本验证,不得依据更新的示例推断 API。在边界处解析不可信输入;只为有意义的不变量添加类型;无需转移所有权时使用借用。预期失败用 Result 与 ?。仅在确有需要且验证其固定 API 后再添加依赖。unsafe 应尽量少,并记录使每个块成立的不变量。
验证方式:在目标 crate 中运行 cargo fmt --check、cargo check 与聚焦测试。行为变更时新增并运行回归测试;在支持的情况下运行 cargo clippy --all-targets -- -D warnings 与 cargo test。
适用场景:Rust 项目中的实现、依赖固定版本核对与编译验证。限制:资料未提供更多平台、收费或性能信息。