用途：对 Solidity 智能合约执行专业级安全审计，按领先 Web3 安全机构的方法论产出可执行的、按严重级别分类的发现与修复建议。
主要能力：支持多种审计模式——首次完整审计（威胁建模、侦察、自动化分析、人工审查、DeFi 专项分析、报告生成五阶段）、复审/差异审计、集成审查（Uniswap、Chainlink、Aave、Curve 等）、快速扫描，以及面向 Code4rena、Sherlock、Immunefi、Cantina、CodeHawks 等平台的漏洞竞赛模式。按协议类型路由检查清单，覆盖 AMM、借贷、金库、跨链桥、治理、永续合约、LST/再质押、Uniswap V4 Hook、ZK、账户抽象、意图协议、RWA、期权、预测市场、多签模块等。核心人工审查优先检查重入、访问控制、预言机操纵、闪电贷、代理升级、未检查外部调用等。
使用方式：粘贴代码后先收集范围、Solidity 版本、目标链、既往审计、协议类型等上下文；无法回答时采用默认值并明确说明。单函数粘贴走快速扫描。工具可用时按顺序运行：slither . --json slither-report.json、forge build、forge test --gas-report、aderyn .；工具不可用则做等效人工静态分析。
适用场景与限制：适合合约审计、竞赛提交与集成风险审查。竞赛模式需先核对范围与已知问题，按平台格式输出，H/M 通常需可运行 PoC。资料未提供具体收费、价格与效果保证。