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 状态模糊测试套件，支持属性测试与不变性验证。
fuzzing harness
generate fuzz suite
stateful fuzzing
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，检测 Solidity 源码变更带来的差异，隔离失效属性并重新生成存根。触发场景包括 fizz-sync、resync fuzzing、sync fuzz harness、refresh fuzzing properties、fuzzing drift check。
fizz-sync
resync fuzzing
sync fuzz harness
refresh fuzzing properties
fuzzing drift check
npx skills add pashov/skills --skill fizz-sync -g -y
用于Solidity智能合约的安全审计。支持全库或指定文件扫描，自动排除测试和接口代码。通过并行调用多个Agent执行发现、模型选择及审计任务，生成安全报告并提示版本更新。
audit
check this contract
review for security
npx skills add pashov/skills --skill solidity-auditor -g -y
用于生成代码库预审计报告，涵盖威胁建模、依赖映射、测试分析及开发者历史等。支持 Solidity 项目自动枚举与多维度安全评估。
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
