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
stateful fuzzing
generate fuzz suite
property testing
invariant suite
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
用于同步已处理的 Fuzzing 项目与变更后的源代码树。检测合约差异，隔离过期属性，重新生成处理程序存根并刷新快照，无需运行完整流水线。
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-ray文件夹内容。
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
