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，其他软件仓库则各自说明许可和安装要求。
其他团队与创作者
了解更多团队和创作者的代表项目与 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 软件项目采用同一许可，每个仓库仍有自己的条款。