Echidna 是一款用 Haskell 编写的以太坊智能合约模糊测试工具,通过生成调用序列来验证不变量和断言。
trailofbits/skills
Trail of Bits 出品的智能体技能市场,用于 Claude Code 和 Codex 中的 AI 辅助安全审计、测试与安全开发。
- Star
- 8,045
- Fork
- 683
- 未关闭 Issue
- 141
- 最近提交
- 19小时前
这是什么?
这是安全公司 Trail of Bits 维护的智能体技能插件市场。每个插件封装一套聚焦的工作流,例如检查 C/C++ 或 Rust 代码的安全问题、审计智能合约、编写 Semgrep 或 YARA 规则、检查 GitHub Actions 工作流中的 AI 智能体风险,以及审计 npm、PyPI 和 Go 依赖的安全公告。
插件按领域分类,包括智能合约安全、代码审计、恶意软件分析、验证(涵盖变异测试、基于属性的测试和 Lean 证明)、逆向工程,以及 C++、Python 等开发辅助工具。在 Claude Code 中可通过一条命令安装,也可通过插件命令添加到 Codex;ChatGPT 工作区导入使用同一份清单文件。
仓库还提供面向技能作者的贡献指南,以及可在本地运行大部分 CI 检查的 `make check` 命令。内容采用 CC-BY-SA-4.0 协议。
核心功能
- 01可在 Claude Code 和 Codex 中通过一条命令安装为插件市场。
- 02涵盖智能合约审计、代码审查、静态分析和依赖风险检查。
- 03提供 Semgrep 和 YARA 规则编写辅助工具。
- 04包含变异测试、基于属性的测试等验证类技能。
- 05提供本地检查命令,推送前可运行大部分 CI 检查。
适用场景
- 安全工程师借助 AI 审计 C、C++、Rust 或 Solidity 代码库。
- 团队检查依赖是否存在已知安全公告或有风险的安装脚本。
- 开发者编写自定义的 Semgrep 或 YARA 检测规则。
快速上手
- 1
在 Claude Code 中添加市场
/plugin marketplace add trailofbits/skills - 2
通过插件菜单浏览并安装插件
/plugin menu
使用前须知
- 内容采用 CC-BY-SA-4.0 许可,这是一种相同方式共享许可,要求衍生作品采用相同许可。
- 插件面向 Claude Code、Codex 或 ChatGPT 工作区市场设计,无法作为独立软件运行。
收录于专题
标签
常见问题
- skills 是什么?
- Trail of Bits 出品的智能体技能市场,用于 Claude Code 和 Codex 中的 AI 辅助安全审计、测试与安全开发。 这是安全公司 Trail of Bits 维护的智能体技能插件市场。每个插件封装一套聚焦的工作流,例如检查 C/C++ 或 Rust 代码的安全问题、审计智能合约、编写 Semgrep 或 YARA 规则、检查 GitHub Actions 工作流中的 AI 智能体风险,以及审计 npm、PyPI 和 Go 依赖的安全公告。
- skills 可以免费使用吗?用的什么许可证?
- skills 以 CC-BY-SA-4.0 许可证开源。用于商业产品前,请先确认许可证条款。
- skills 还在维护吗?
- 活跃维护中。skills 最近一次提交是在 2026年11月6日。
- skills 适合用来做什么?
- 安全工程师借助 AI 审计 C、C++、Rust 或 Solidity 代码库。 团队检查依赖是否存在已知安全公告或有风险的安装脚本。 开发者编写自定义的 Semgrep 或 YARA 检测规则。
- skills 怎么安装和运行?
- 在 Claude Code 中添加市场: /plugin marketplace add trailofbits/skills 通过插件菜单浏览并安装插件: /plugin menu
- 在哪里获取 skills?
- 源代码和安装说明在 GitHub 上:https://github.com/trailofbits/skills
概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
相关项目
免费开源的安全审计工具,扫描依赖、代码和域名并生成可分享的 HTML 报告。
基于 Claude 的自主漏洞发现与修复参考实现,附带威胁建模、扫描、分诊和补丁等交互式安全技能。
开源 AI 代码审查工具,在推送前用独立审查器检查编码代理写的改动,支持 Claude Code、Codex、Cursor 和 Cline。
面向 AI Agent Skills 的best-effort安全扫描器,用于检测提示注入、数据外泄和恶意代码模式。
Google 为开源项目提供的持续模糊测试服务,结合 libFuzzer、AFL++ 等引擎发现安全漏洞与稳定性问题。