Solidity审计食谱
内容
一套 鹅食谱.
安装
$ npm install -g giget
$ giget gh:TilakMaddy/solidity-audit-recipes/.goose .goose --force在项目根目录下运行上述命令，将配方从此存储库导入项目。
审计
步骤1
安装 Aderyn 它提供了一个MCP服务器，为AI代理提供指导
aderyn mcp http-stream --port 3001在项目根目录下运行上述命令。
步骤2
打开 鹅桌面 并将工作目录设置为项目根目录。
步骤4
在 扩展 选项卡，添加Aderyn的MCP服务器。填写名称、类型、描述、端点和超时，如下所示
步骤5
禁用其他内置扩展
步骤6
然后从 食谱 选项卡，选择 使用 你感兴趣的那些。
步骤7
点击信任并执行