pashov/skills
Pashov Audit Group Skills
解决的问题
此项目提供了一组 AI 驱动的工具，旨在自动化并增强 Solidity 智能合约的安全审计，协助开发者与审计人员更有效率地发现漏洞并建立测试套件。
运作方式
它是一系列“技能”或基于提示词（prompt）的工具集合，可与 Claude Code, Cursor, Codex, GitHub Copilot 以及 Windsurf 等 AI 编程平台集成。用户可以通过执行指令来触发特定的安全工作流程，例如使用 "x-ray" 进行预审计扫描，或使用 "solidity auditor" 进行漏洞检测。
目标对象
需要保护使用 Solidity 编写的 Foundry 或 Hardhat 项目的智能合约开发者与安全审计人员。
特色亮点
- Solidity Auditor: 一款 AI 安全审计工具，已识别出数百个严重（Critical）与高风险（High）等级的漏洞。
- X-Ray: 一款预审计工具，可执行威胁建模、识别不变量（invariants）、映射入口点并分析 git 历史记录。
- Fizz: 一款可自动为智能合约项目生成完整 Echidna 或 Medusa 模糊测试套件的工具。
相关
- 项目
- 项目
- 项目
- 项目