github
@trailofbits
公开技能 78 个
面向代码变更的安全差分审查，结合 Git 历史、影响面与测试覆盖生成报告。
配置现代 Python 工具链，并指导项目创建与迁移。
审计 npm、PyPI、Go 依赖的供应链风险并生成报告
用 CodeQL 对代码库做安全扫描并输出 SARIF 结果
指导编写、审查和调试属性测试，覆盖属性设计与失败判定
审查 API、配置与接口设计中的误用风险和安全默认值缺陷。
引导智能合约安全开发五步流程，运行 Slither 检查并输出审计报告。
审计前先理解代码：梳理函数假设、保证与依赖，产出审计档案
验证具体疑似安全漏洞并判定真阳性或假阳性
按 Trail of Bits 九类框架评估智能合约或区块链代码库成熟度，输出评分卡与改进路线图。
针对已发现的缺陷，跨代码库搜索同一根因的变体并分类报告。
静态审计 GitHub Actions 中 AI 代理集成的安全风险并生成报告
指导使用已认证 gh CLI 访问 GitHub，替代未认证抓取。
解析并处理 SARIF 静态分析结果，支持过滤、去重、聚合与 CI 集成。
对照规格文档审查代码实现，并按需求给出合规结论与报告。
创建并测试 Semgrep 安全检测规则，覆盖模式匹配与污点分析。
分析智能合约中可修改状态的入口函数，按访问权限分类并生成安全审计报告。
协助在外部安全审计前准备代码库，涵盖目标设定、静态分析、测试覆盖、死代码清理与文档生成。
扫描 Solana/Anchor 程序的 6 类安全漏洞并生成审计报告与修复建议。
基于 Trail of Bits 清单审计 ERC20/ERC721 代币实现与集成安全。
基于 Trail of Bits 指南审查智能合约项目并给出改进建议
分析 fuzzing 覆盖率报告，定位未覆盖代码并指导 harness、种子或字典改进。
指导编写与改进 C/C++ 和 Rust 模糊测试 harness。
静态检查加密代码编译产物中的时序侧信道风险，并辅助人工分诊。
为 Cargo Rust 项目提供 cargo-fuzz 安装、测试桩编写、运行与覆盖率分析指南。
提供 AddressSanitizer 编译、运行与报告解读指南，用于发现内存错误。
调用 Codex、Antigravity 或 Gemini CLI 对选定代码变更做独立审查并汇总…
指导用条件编译绕过阻碍模糊测试的校验、哈希和非确定性状态。
扫描 Cosmos SDK 模块与 CosmWasm 合约的共识关键漏洞并输出分级发现文件
生成并接入面向解析器、协议和文件格式的模糊测试字典
生成带 Claude Code 与多语言工具链的 devcontainer 配置及脚本。
将现有 Semgrep 安全规则移植到指定语言并测试验证。
指导在 C/C++ 项目中使用 libFuzzer 编写 harness、构建并运行覆盖引导模糊测…
从 Testing Handbook 分析章节并生成/维护 Claude Code 技能。
分析二进制中的 DWARF 调试信息，检查 DIE 树、验证完整性并编写解析代码。
扫描 Algorand TEAL/PyTeal 合约的 11 类安全漏洞并生成审计覆盖表。
提供加密实现时序侧信道测试的流程、工具分类与检测方法。
指导安装并运行 AFL++ 进行 C/C++ 多核模糊测试与崩溃排查。
Atheris Python 模糊测试指南：编写 harness、插桩 C 扩展并集成 ASan
扫描 TON FunC 合约的三类安全漏洞并输出覆盖率表与修复建议。
指导将开源项目接入 OSS-Fuzz，本地构建/运行 fuzz harness 并复现崩溃。
扫描 Cairo/StarkNet 合约的 6 类安全漏洞并生成审计报告
扫描 Substrate/FRAME pallet 的 7 类安全漏洞并输出覆盖表与修复建议。
解释 Culture Index 测评，生成个人、团队与招聘建议
使用 Wycheproof 测试向量验证密码学实现并指导测试集成
指导用 LibAFL 自定义构建、编译并运行模糊测试器。
检索本地 Burp 项目中的 HTTP 流量与安全审计项。
配置并运行Ruzzy，对Ruby代码和C扩展做覆盖率引导模糊测试与sanitizer检查。
以评审-修复循环迭代改进 Skill，直到评审无阻塞问题
审计 C/C++/Rust 敏感数据清零与编译器优化删除，输出报告和 PoC。
配置 mewt/muton 变异测试、分析存活变异体并定位测试缺口缺陷。
基于 Trailmark 代码图生成 Mermaid 调用图、类图与依赖图等
审查并标注代码中的单位与小数缩放错误，输出维度缺陷与覆盖率报告。
构建多语言代码图并查询调用路径、攻击面与污点信号，用于安全审计。
从源码或规范提取密码协议消息流，生成 Mermaid 与 ASCII 时序图
把 SARIF、weAudit 和二进制图发现映射到 Trailmark 代码图并生成严重性子图。
运行 Trailmark 摘要分析，返回代码库语言、入口点和依赖概览。
对比两个代码快照的 Trailmark 图，报告安全相关结构变化。
运行 Trailmark 结构分析，输出热点、污点、影响范围与攻击面数据。
将密码协议的 Mermaid 序列图转换为 ProVerif 模型并规划安全查询。
基于代码图与变异测试的测试缺口分诊，输出假阳性、缺失测试和模糊测试目标报告。
通过变异测试定位覆盖缺口并生成、验证密码测试向量
对原生 C/C++ 代码做多代理安全审计并生成报告。
诊断并修复 Claude in Chrome MCP 扩展连接失败或不稳定的 macOS 专用指南
对 Rust 项目执行安全审查，输出分级报告与 SARIF。
Lean 4 证明编写、库设计与验证规范，覆盖 lint/CI 与性能诊断。
按7条Brocards对漏洞报告进行安全分诊并输出结论
将单个漏洞线索扩展为 Trailmark 图邻域变体候选并排序交接
对分支、PR、提交或发布差异执行结构安全门禁审查，输出门禁结论与证据包。
用 Trailmark 生成有界代码切片，并把聚焦代码任务委派给较小的模型。
将分支改动拆成有序步骤并生成交互式 HTML 代码审查走查页面
对当前分支改动循环执行 PR 审查与自动修复，直至审查无严重问题
用基线对照与根因变体验证安全补丁，产出可复现证据与覆盖缺口。
审查并准备代码仓库开源发布，覆盖密钥审计、许可证、文档、CI、仓库设置与发布流程。
面向 C++20/23/26 的现代惯用法与安全加固指南。
为 Claude Code 与 Codex 起草并规范化单行 /goal 目标命令。
用 gh CLI 分诊仓库开放的 issue 与 PR：依证据关闭已解决项、交叉关联待修 PR，并…
运行指定审查者的代码审查—修复循环，直到通过或达上限。
