Agent Skills
› pashov/skills
pashov/skills
GitHub基于Foundry或Hardhat项目，自动生成兼容Echidna和Medusa的Solidity模糊测试套件。支持状态不变性测试、属性测试及智能合约fuzz harness构建，提供引导与自动两种运行模式。
Install All Skills
npx skills add pashov/skills --all -g -y
Skills in Collection (5)
基于Foundry或Hardhat项目，自动生成兼容Echidna和Medusa的Solidity模糊测试套件。支持状态不变性测试、属性测试及智能合约fuzz harness构建，提供引导与自动两种运行模式。
fizz
generate fuzz suite
build fuzz harness
stateful fuzzing
fuzzing harness
property testing
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
用于同步Fuzzing测试环境，检测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-Ray报告，涵盖威胁建模、代码枚举、覆盖率及Git安全分析。支持Foundry/Hardhat，自动检测环境并输出结构化安全评估文件。
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
