Agent Skills
› pashov/skills
pashov/skills
GitHub用于从 Foundry 或 Hardhat 项目生成兼容 Echidna/Medusa 的 Solidity 状态模糊测试套件，支持 invariant 测试和属性测试。
Install All Skills
npx skills add pashov/skills --all -g -y
Skills in Collection (5)
用于从 Foundry 或 Hardhat 项目生成兼容 Echidna/Medusa 的 Solidity 状态模糊测试套件，支持 invariant 测试和属性测试。
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断言代码，并更新状态复选框。支持按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
用于生成协议预审计报告的 Skill，涵盖威胁建模、测试分析和代码枚举。通过多阶段并行流水线自动化收集数据并输出 x-ray 报告，提升安全审计准备度。
触发 'x-ray' 指令
请求 'audit readiness'
需要 'readiness report'
要求 'pre-audit report'
执行 'prep this protocol'
npx skills add pashov/skills --skill x-ray -g -y
