用途：这是面向 Rust FFI（外部函数接口）代码的审查技能，用于在评审跨语言边界代码时系统性检查类型安全、内存布局兼容性、字符串处理、回调模式与 unsafe 边界正确性。
主要能力：按固定工作流检查 Cargo.toml（edition、build-dependencies、crate-type、links）、build.rs（链接指令、bindgen 配置、C 源码编译）、extern 块（调用约定、符号声明、安全注解）、类型布局（跨 FFI 类型须为 #[repr(C)] 或原生 FFI 类型）、字符串与指针处理（CStr/CString、空值检查、所有权转移）、回调（extern "C" fn 指针、跨边界 panic 安全）。
使用方式：审查须依次完成 Gate 1 至 Gate 4，未通过前不得报告发现。Gate 1 需打开被审 crate 的 Cargo.toml 记录 edition 及相关字段；Gate 2 需打开 build.rs 或手写绑定入口；Gate 3 要求每条发现都有完整读取的函数/代码块的 [FILE:LINE] 证据；Gate 4 需应用 review-verification-protocol 技能。输出格式为 [FILE:LINE] ISSUE_TITLE 加严重级别（Critical/Major/Minor/Informational）和说明。
适用场景与限制：适合在代码评审中核对 FFI 边界安全性，附带参考资料（references/type-mapping.md、references/safety-patterns.md）。资料未提供安装命令、收费、价格或平台支持信息。