用途：对用 Rust 编写的 NEAR Protocol 智能合约进行安全审计，适用于审计 NEAR 合约、排查安全漏洞等场景。
主要能力：提供四阶段审计工作流。第一阶段自动化分析，运行 Rust 静态分析与 NEAR 相关安全工具，扫描常见漏洞模式（重入、不安全数学运算、未处理 Promise、访问控制问题等），并标记需人工深入审查的可疑模式。第二阶段人工审查，覆盖业务逻辑漏洞、访问控制模式、经济攻击向量、跨合约交互安全。第三阶段逐项代码分析，对每个发现确认是否为真阳性、可利用性及建议修复方案。第四阶段生成报告，记录严重级别、位置、描述与修复建议。
漏洞速查表按严重级别列出检测项：高危包括回调缺少 #[private] 宏、跨合约调用后状态变更（重入）、JSON 接口使用原生整数类型、集合修改未持久化、缺少调用者/所有者校验、敏感函数缺少 assert_one_yocto、不同集合共用存储前缀、初始化方法缺少 #[init]；中危包括无界循环导致 DoS 的 gas 勒索、基于区块数据的可预测随机数、回调预留 gas 不足；低危包括缺少存储押金校验、无溢出检查的算术运算、金融计算使用浮点类型。
使用方式：按上述四阶段顺序执行，先自动化扫描再人工复核，最后逐项验证并输出报告。详细漏洞文档与代码示例见参考文件 high-severity.md（8 个检测器）、medium-severity.md（4 个检测器）、low-severity.md（3 个检测器）。
限制：资料未提供具体工具名称、安装命令、收费方式与平台支持信息，暂未提供。