Agent Skills
› pashov/skills
pashov/skills
GitHub为Solidity项目生成Echidna/Medusa兼容的状态模糊测试套件，支持Foundry编译与调试，涵盖属性测试和不变性验证，提供引导或自动模式。
Install All Skills
npx skills add pashov/skills --all -g -y
Skills in Collection (5)
为Solidity项目生成Echidna/Medusa兼容的状态模糊测试套件，支持Foundry编译与调试，涵盖属性测试和不变性验证，提供引导或自动模式。
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
用于同步 Fizz fuzzing 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智能合约安全审计工具，支持全仓库或指定文件扫描。具备循环模式，可多轮迭代并记忆历史发现以生成综合报告。自动排除依赖和非生产代码，确保审计聚焦于核心业务逻辑与部署脚本。
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-ray.md 预审计报告，涵盖威胁建模、不变量、集成、文档质量及测试分析。通过枚举代码库、读取源码并综合信息，输出结构化安全与质量评估结果。
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
