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
用于同步Fuzz测试环境，检测Solidity源码变更带来的漂移，隔离过期属性并重新生成处理程序存根。
fizz-sync
resync fuzzing
sync fuzz harness
refresh fuzzing properties
fuzzing drift check
npx skills add pashov/skills --skill fizz-sync -g -y
智能合约安全审计编排器，支持全仓库或单文件扫描。自动发现代码、并行调用12个审计代理，并生成详细的安全报告。
audit
check this contract
review for security
npx skills add pashov/skills --skill solidity-auditor -g -y
生成预审计X-Ray报告，涵盖威胁建模、代码枚举、覆盖率及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
