Agent Skills
› pashov/skills
pashov/skills
GitHub用于从Foundry或Hardhat项目生成兼容Echidna/Medusa的Solidity模糊测试套件，支持状态 fuzzing、属性测试和不变量验证，自动化构建测试夹具与运行配置。
安装全部 Skills
npx skills add pashov/skills --all -g -y
集合内 Skills (5)
用于从Foundry或Hardhat项目生成兼容Echidna/Medusa的Solidity模糊测试套件，支持状态 fuzzing、属性测试和不变量验证，自动化构建测试夹具与运行配置。
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 测试工具链与变更后的源代码树。检测合约差异，隔离过时属性，重新生成处理程序存根并刷新快照，避免全量重跑流水线，确保模糊测试配置与代码一致。
fizz-sync
resync fuzzing
sync fuzz harness
refresh fuzzing properties
fuzzing drift check
npx skills add pashov/skills --skill fizz-sync -g -y
Solidity智能合约安全审计编排器，支持全库或指定文件扫描。自动发现合约、并行调用12个审计Agent进行深度检查，并生成报告。
audit
check this contract
review for security
npx skills add pashov/skills --skill solidity-auditor -g -y
生成协议预审计X-Ray报告，涵盖威胁建模、不变性、集成、文档质量及测试分析。通过枚举代码库、读取源码并合成报告文件，辅助评估项目安全与就绪状态。
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
