guidelines-advisor 是做什么的？
基于 Trail of Bits 最佳实践的智能合约开发顾问。分析代码库以生成文档/规范、审查架构、检查可升级性模式、评估实现质量、识别陷阱、审查依赖项并评估测试。提供可操作的建议。
功能概述
该技能帮助你遵循 Trail of Bits（一家领先的区块链安全公司）的研究成果进行智能合约开发。它可以在开发周期的早期发现协议逻辑错误、实现缺陷、里程碑风险以及安全补偿措施中的不足之处。
使用方法
- 将技能添加到你的 AI 代理项目中。
- 在包含智能合约代码的目录下运行该技能。
- 按照提示分析特定文件或整个代码库。
- 查看生成的报告，其中包含架构见解、代码质量问题和安全建议。
功能列表
- 文档生成：自动生成智能合约架构、函数接口和数据流的设计文档。
- 架构审查：识别合约之间的依赖关系和潜在的权限问题。
- 可升级性检查：验证使用代理模式时的初始化、存储布局变更以及版本控制纪律。
- 质量评估：评估 Solidity 安全性、Gas 优化、错误处理和代码复杂性。
- 陷阱检测：标记常见漏洞，如重入攻击、整数溢出、未检查的外部调用等。
- 依赖审查：检查外部库的版本和安全公告。
- 测试评估：评估测试覆盖率，并识别逻辑分支是否被充分测试。
使用示例
# 将技能集成到 AI 代理会话中
agent install trailofbits/guidelines-advisor
# 在合约目录中运行技能
agent run guidelines-advisor ./contracts
输出示例
运行技能后，你将获得包含以下内容的结构化报告：
- 架构摘要：显示合约关系图的 Mermaid 图。
- 风险矩阵：按严重程度分类的风险表格。
- 实施建议：具体、可操作的代码修改建议，附有代码示例。
平台支持
- Claude Code
- Cursor
- Codex
- 其他兼容 AI 代理框架的平台
依赖
- 目标智能合约项目（Solidity、Vyper 或其他 EVM 语言）
- AI 代理环境（Claude Code、Coder 等）