weasel-validate - 智能合约攻击验证验证智能合约攻击假设并验证可利用性标签更新于: 2026-03-10智能合约安全审计攻击验证漏洞分析能力典型输入典型输出该技能可以做什么验证攻击向量检查漏洞假设分析攻击路径验证可利用性读取项目上下文检查前置条件评估代码防护输入攻击假设智能合约代码项目README文件已知问题文件目标合约和函数输出攻击验证报告验证结果带代码引用的分析后续步骤建议要求智能合约代码库访问权限README.md文件访问权限已知问题文件访问权限来源规范: SKILL.md