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状态模糊测试套件，支持规范、属性及不变性测试。
fuzz suite generation
stateful fuzzing
invariant 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 Harness 与变更后的 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并行审查。支持全库或单文件模式，可输出报告，并适配Claude Code模型选择。
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
