Agent Skills
› pashov/skills
pashov/skills
GitHub用于从Foundry或Hardhat项目生成兼容Echidna/Medusa的Solidity状态模糊测试套件，支持属性测试与不变性验证。
Install All Skills
npx skills add pashov/skills --all -g -y
Skills in Collection (5)
用于从Foundry或Hardhat项目生成兼容Echidna/Medusa的Solidity状态模糊测试套件，支持属性测试与不变性验证。
fuzzing harness
invariant suite
generate fuzz suite
stateful fuzzing
npx skills add pashov/skills --skill fizz -g -y
将PROPERTIES.md中的属性转换为Solidity断言代码并更新复选框状态。支持按ID或全部转换，根据现有代码和标记处理新建、重写、跳过或警告漂移，确保测试规范与实现同步。
fizz-convert
convert properties
implement properties from PROPERTIES.md
convert PROPERTIES.md to Solidity
npx skills add pashov/skills --skill fizz-convert -g -y
用于同步已处理的 Fizz 模糊测试项目，检测 Solidity 源码变更导致的差异，隔离过期属性并重新生成处理程序存根。适用于源码更新后无需重跑完整流程的快速同步场景。
fizz-sync
resync fuzzing
sync fuzz harness
refresh fuzzing properties
fuzzing drift check
npx skills add pashov/skills --skill fizz-sync -g -y
Solidity智能合约安全审计技能，通过并行调度多个Agent对代码进行深度安全检查。支持全仓库或指定文件扫描，自动排除测试和接口文件，并生成详细审计报告。
audit
check this contract
review for security
npx skills add pashov/skills --skill solidity-auditor -g -y
生成审计前X光报告，涵盖威胁建模、不变量分析、集成测试及Git历史。自动枚举代码库并运行覆盖率和安全脚本，输出结构化报告以评估协议就绪状态。
x-ray
audit readiness
readiness report
pre-audit report
prep this protocol
protocol prep
summarize this protocol
npx skills add pashov/skills --skill x-ray -g -y
