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
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
用于在Solidity源码变更后，与Fizz生成的模糊测试工具进行同步。检测函数变更、隔离过期属性、重新生成处理程序存根并刷新快照，避免重复运行完整流水线。
fizz-sync
resync fuzzing
sync fuzz harness
refresh fuzzing properties
fuzzing drift check
npx skills add pashov/skills --skill fizz-sync -g -y
Solidity智能合约安全审计工具，支持全库或单文件扫描。自动排除测试和接口文件，并行发现目标，检测版本更新，并允许在Claude Code中指定审计模型。
audit
check this contract
review for security
npx skills add pashov/skills --skill solidity-auditor -g -y
为智能合约项目生成审计前准备报告。通过枚举代码、分析覆盖率、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
