用途:对 Solidity 智能合约和 DeFi 协议做安全审计,也可用于漏洞赏金提交的分诊、协议升级或新合约上线前审查,以及按 TVL 与审计历史评估风险敞口。
主要能力:按 10 类高频漏洞(BC1 会计状态不同步、BC2 访问控制、BC3 代码路径不完整、BC4 差一错误、BC5 预言机操纵、BC6 ERC4626 攻击、BC7 重入、BC8 闪电贷、BC9 签名重放、BC10 代理/升级问题)依次执行 grep 模式扫描,再人工复核,对确认的严重/高危问题编写 Foundry PoC 测试,最后生成带严重等级(CRITICAL/HIGH/MEDIUM/LOW/INFO)的发现报告。
使用方式:需先安装 Foundry(curl -L https://foundry.paradigm.xyz | bash 后执行 foundryup)、ripgrep,可选安装 Slither(pip install slither-analyzer),并具备合约源码读取权限。通过环境变量配置:SECSKILL_CONTRACT_DIR(必填,源码目录)、SECSKILL_PROTOCOL_NAME、SECSKILL_TVL_USD、SECSKILL_OUTPUT_DIR(默认 ./output)、SECSKILL_RPC_URL(用于分叉测试)。流程为预评估、10 类扫描、人工确认、编写 PoC、评级并出报告。
限制:资料未提供具体价格、平台支持范围或效果保证;PoC 需在正确 remappings 与 RPC 下运行,Slither 默认检测器误报较多,可缩小到 reentrancy,suicidal,uninitialized-local。