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
property testing
stateful fuzzing
generate fuzz suite
npx skills add pashov/skills --skill fizz -g -y
将PROPERTIES.md中的英文属性转换为Solidity断言代码并更新复选框状态，支持新建、重写和删除操作。
fizz-convert
convert properties
implement properties from PROPERTIES.md
convert PROPERTIES.md to Solidity
npx skills add pashov/skills --skill fizz-convert -g -y
用于同步 Fuzz 测试工具集与变更后的 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
生成审计前报告，涵盖威胁建模、依赖映射、测试分析及开发者历史。支持Solidity项目自动化枚举与安全分析。
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
