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 状态模糊测试套件，支持属性测试与不变量验证。
fizz
generate fuzz suite
build fuzz harness
stateful fuzzing
property testing
invariant suite
npx skills add pashov/skills --skill fizz -g -y
将PROPERTIES.md中的英文属性转换为Solidity断言代码，更新fuzz harness并修改复选框状态。支持按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
用于同步 Fuzz Harness 与变更后的源码，检测差异、隔离过期属性并重新生成存根，避免全量流水线重跑。
fizz-sync
resync fuzzing
sync fuzz harness
refresh fuzzing properties
fuzzing drift check
npx skills add pashov/skills --skill fizz-sync -g -y
Solidity智能合约安全审计工具，支持全库扫描或指定文件，具备多轮循环审计与记忆功能，自动排除测试及依赖代码，生成合并报告。
audit
check this contract
review for security
loop mode
run the auditor in loop mode
run 3 passes
npx skills add pashov/skills --skill solidity-auditor -g -y
生成代码库X光预审计报告，涵盖威胁建模、不变量、集成、文档质量及测试分析。适用于协议准备度审查与安全评估场景。
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
