audit-context-building
在寻找漏洞之前理解陌生代码，记录函数假设、保证、依赖关系和未解问题，为后续安全分析建立上下文。
Trail of Bits
了解 Trail of Bits 的安全研究、分析工具与精选 Skills，探索代码理解、变更审查和不变量测试，比较 Agent 工作指引、静态分析与智能合约模糊测试的不同职责，为软件审查建立更清晰的证据路径。
关于 Trail of Bits
Trail of Bits 是安全研究与工程组织，公开内容包括安全评估、技术研究、学习资源和软件工具。这些项目服务于软件保障的不同环节，从理解复杂代码到寻找具体失效情况，再到记录发现的证据与复现方式，各自解决不同问题。
它的 Skills 集合组织了审计上下文建立、差异审查和属性测试等 AI 辅助工作流程，强调区分系统理解与漏洞判断，并为完成的分析保留明确证据。这些内容用于引导 Agent 怎样调查和测试，不应理解为替代分析软件的可执行工具。
独立软件项目包括 Crytic 区块链安全组织下的 Slither 和 Echidna，Trail of Bits 将该组织列为自身公开工作的一部分。前者分析合约代码，后者通过生成执行寻找属性反例。Skills 仓库采用 CC-BY-SA-4.0，其他软件仓库则各自说明许可和安装要求。
Trail of Bits 精选 Skills
探索 Trail of Bits 面向代码上下文、安全敏感变更和属性测试的精选 Skills，比较每项流程所需的输入与预期结果，根据当前代码和待调查问题选择合适的分析方法。
differential-review
围绕提交和 PR 变更审查安全影响，结合历史、调用范围、测试覆盖与明确证据组织差异分析和报告。
property-based-testing
围绕不变量、往返转换等有效规则设计与审查属性测试，分析生成的反例属于实现缺陷还是测试假设问题。
Trail of Bits 开源项目
了解 Trail of Bits 面向智能合约分析与测试的软件工具，比较静态检测和基于属性的执行方法，理解各自能够提供的证据，以及实际运行所需的项目与测试环境。
其他团队与创作者
了解更多团队和创作者的代表项目与 Agent Skills，比较不同发布者的关注领域、技术思路和适用任务，为当前开发、协作或研究工作寻找相关工具与实践。
Trail of Bits 常见问题
为什么 audit-context-building 要放在寻找漏洞之前？
它先记录函数的假设、保证和依赖，并保留未解问题，目标是理解系统。该指引明确将漏洞判断和严重程度评级留给后续调查，避免在缺少上下文时过早下结论。
differential-review 需要什么输入？
需要 PR、提交或 diff 等变更集合及对应仓库上下文。流程会结合历史记录、受影响调用方、测试和安全后果进行分析，而不是只看脱离背景的新增或删除代码行。
属性测试与列出一组示例测试有什么区别？
属性测试描述输入范围内应该成立的规则，再生成可能打破规则的案例。该 Skill 强调有意义的属性和反例分析，测试失败也可能来自错误的属性假设，而不一定是产品缺陷。
Slither 与 Echidna 做的是同一种分析吗？
不是。Slither 静态分析 Solidity 与 Vyper，并提供检测器和代码信息；Echidna 执行生成的交易序列，寻找违反合约属性的情况。两种方法可以为同一系统提供不同类型的证据。
为什么 Slither 与 Echidna 位于 crytic 组织？
Trail of Bits 将 Crytic 标为其区块链安全团队。这些软件项目位于关联组织中，而 Agent Skills 仓库位于 trailofbits。具体维护者与当前版本可通过对应上游仓库核对。
Trail of Bits Skills 集合采用什么许可？
仓库标注 CC-BY-SA-4.0，复用材料时应查看署名与相同方式共享要求。这并不意味着其他 Trail of Bits 软件项目采用同一许可，每个仓库仍有自己的条款。
探索 Trail of Bits 项目与 Skills
根据当前任务比较精选 Skills 与软件项目，了解指引、工具和运行环境分别承担的职责，再结合官方资料规划适合自己的开发流程与下一步工作。