一个包含Solidity智能合约审计工具和流程的集合，用于帮助开发者进行安全审计和自动化检测。
一套 鹅食谱.
$ npm install -g giget
$ giget gh:TilakMaddy/solidity-audit-recipes/.goose .goose --force
在项目根目录下运行上述命令，将配方从此存储库导入项目。
安装 Aderyn 它提供了一个MCP服务器，为AI代理提供指导
aderyn mcp http-stream --port 3001
在项目根目录下运行上述命令。
打开 鹅桌面 并将工作目录设置为项目根目录。
在 扩展 选项卡，添加Aderyn的MCP服务器。填写名称、类型、描述、端点和超时，如下所示
禁用其他内置扩展
然后从 食谱 选项卡，选择 使用 你感兴趣的那些。
点击信任并执行
claudit是一个智能合约安全审计工具，用于搜索Solodit平台上的20,000+审计发现，支持AI编码代理。
MCP for Security是一个包含多种安全测试工具的服务器实现，通过标准化接口提供访问。
一个用于自动化安全分析Solidity智能合约的Model Context Protocol (MCP)服务器，集成了Slither和Aderyn等行业标准工具，并内置对SWC Registry的模式匹配。
一个用于检查和撤销ERC-20代币授权的MCP服务器，增强安全性和控制力。
GoPlus Security MCP Server是一个提供区块链安全分析工具的服务，支持多种区块链网络，包括Rug Pull检测、钓鱼网站检测、NFT安全分析等功能。
一个基于AI的智能家居诊断助手，提供系统健康检查、Zigbee网络分析、能耗追踪、自动化冲突检测等功能，支持自然语言交互。
