Bonsai-27B-GGUF
lmstudio-community · 工具包
面向 LM Studio 的 27B Bonsai 模型 GGUF 转换版,含 3.80 GB 的 Q1_0 语言文件和 0.93 GB 的 BF16 视觉投影器。已测试文本、视觉和并行工具调用。

Trail of Bits 的插件市场,有四十多个插件,在 Claude Code 和 Codex 里用 AI 做安全工作,从代码审计、漏洞分诊到模糊测试、智能合约检查和 YARA 规则。你只装自己想要的插件。
Trail of Bits Skills(Trail of Bits 安全插件市场) 是一款 GitHub 上的开源项目,属于开发类,由 Mindket 上架。可免费获取。当前为第 2 版,最近更新于 。按它的 README 从 GitHub 安装。Mindket 的设置说明可在你的 Mindket 账户获取,以 zip 压缩包下载。
/plugin marketplace add trailofbits/skills /plugin menu
Trail of Bits Skills 是这家安全公司给 AI 编程智能体做的插件市场。里面有四十多个插件,大多数带有技能,你的请求对得上时 Claude 就会读取。它们覆盖代码审计、验证和测试、智能合约、恶意软件规则、逆向工程、移动端检查和开发工具。有些还会加上斜杠命令、子智能体或 hook。只装你需要的那些。
安全工程师、审计人员和开发者,想让 AI 智能体按一家安全公司的方法来审查代码、分诊漏洞报告和做测试。README 按工作类型给插件分组,从智能合约安全到团队管理。
| 谁 | 常用的插件 | 例子 |
|---|---|---|
| 代码审计人员 | audit-context-building、differential-review、variant-analysis | 审计人员逐个函数梳理一个陌生的代码库,再审查一个提交有没有安全回归。 |
| 漏洞分诊人员 | fp-check、vulnerability-triage-brocards、cvss-scoring | 维护者确认一个报告的漏洞是不是真的,再拿到它的 CVSS v4.0 向量。 |
| 智能合约团队 | building-secure-contracts、entry-point-analyzer | 团队列出合约里会改变状态的入口点,并运行针对它所在区块链的漏洞扫描器。 |
| 测试和工具工程师 | static-analysis、semgrep-rule-creator、mutation-testing、property-based-testing | 工程师让 Claude 写一条自定义 Semgrep 规则,或者搭好一轮变异测试,再看存活下来的变异体。 |
| 项目负责人 | open-sourcing、modern-python、devcontainer-setup、gh-cli | 维护者在公开发布仓库之前,检查密钥、许可证和 CI。 |
README 为同一个插件市场写了三种使用方式。
/plugin marketplace add trailofbits/skills,然后从菜单里或按名字安装插件codex plugin marketplace add trailofbits/skills,README 说这能用,是因为 Codex 能读取 Claude 的插件市场.claude-plugin/marketplace.json 导入你工作区的插件市场点“获取”会把一个 zip 压缩包存进你的下载文件夹,里面是 Mindket 写的安装说明,README 给出的每种方式各占一页。
| 需要 | 说明 |
|---|---|
| Claude Code 或 Codex | 用于两种命令行方式。ChatGPT 工作区走导入的方式 |
| 插件里提到的工具 | 有些插件会调用 Semgrep、uv、gh、clang、Burp Suite Professional,或者 Codex、Antigravity、Gemini CLI。每个插件的 README 会写明用哪个 |
| 账号或密钥 | 添加插件市场不需要。second-opinion 需要一个由你自己登录的 Codex、Antigravity 或 Gemini CLI |
/plugin marketplace add trailofbits/skills /plugin menu
Claude Code 的文档用单独一个 /plugin 打开插件面板,所以如果 /plugin menu 不被接受,就输入 /plugin。要按名字安装一个插件,就用 Claude Code 文档给出的写法:插件名、@、再加插件市场名。各插件的 README 里还有别的写法,工具包里的 claude-code.md 都列出来了。
/plugin install second-opinion@trailofbits
Codex 有它自己的三行命令。
codex plugin marketplace add trailofbits/skills codex plugin list codex plugin add <plugin-name>@trailofbits
运行插件的命令,或者描述你要做的事,让 Claude 挑选技能。命令以插件名开头。
| 命令 | 你给它什么 | 你拿回什么 |
|---|---|---|
| /audit-context-building:audit-context | 一个路径,可选加上 --focus <module> | 每个函数的笔记写进文件,外加一份汇总档案,这样对话不会被撑大 |
| /differential-review:diff-review | 一个拉取请求地址、一个提交哈希或一个 diff 文件,可选加上 --baseline <ref> | 一份 markdown 报告,列出发现的问题、测试覆盖缺口、影响范围和回归风险 |
| /insecure-defaults:audit | 一个仓库、文件夹或文件,什么都不给就是整个仓库 | 兜底密钥、默认凭据、失败时放行的开关、弱加密、过宽的访问权限和调试信息泄露,每一条都经过一个反驳智能体的核查 |
| /second-opinion:second-opinion | 用普通的话说明用 Codex、Antigravity 还是 Gemini CLI,以及要审查什么 | 一份独立审查,写明用的是哪个提供方和模型,附上发现的问题和覆盖上的空缺 |
| /semgrep-rule-creator:semgrep-rule | 一个你想抓住的漏洞模式 | 一条自定义 Semgrep 规则,由 Claude 先写测试再写规则 |
| /entry-point-analyzer:entry-points | 一个源码文件夹,比如 src/core/ | 智能合约代码库里会改变状态的入口点,按谁可以调用来分组 |
| /spec-to-code-compliance:spec-compliance | 一个路径,比如 ./contracts。工作流会自己找到规格文档,你也可以用普通的话指明 | 一份报告文件,逐条对照代码检查每项要求,并列出没有任何文档提到的行为 |
| /firebase-apk-scanner:scan-apk | 一个 Android APK 或一个装着 APK 的文件夹,必须是你有权测试的应用 | 扫描它的 Firebase 配置,找出公开的数据库、存储桶、登录问题和暴露的函数 |
有些插件没有命令,从一句普通的请求开始就行,比如问 fp-check 某条发现是不是真阳性。
同事的一个提交改了你的登录代码,你想在合并之前查一查有没有安全回归。
/differential-review:diff-review 3f9a2c1 --baseline main
Claude 按风险给改动的文件排序,读 git blame 找回归,数调用方来估算影响范围,再写出一份带发现和测试缺口的 markdown 报告。
遇到高风险的改动,这个技能会把漏洞利用建模交给它的 adversarial-modeler 智能体。
新手:插件是一个包,里面可以有技能、命令和子智能体。先挑一个和你这周的工作对得上的插件,比如代码改动就用 differential-review。相信某条发现之前先读它的报告,因为这个技能要求 Claude 写明它的覆盖范围限制和把握程度。
专家:README 说,一个 Claude 插件市场文件同时供 Claude Code、Codex 和 ChatGPT 工作区导入使用,没有单独给 Codex 的元数据副本。有些插件以工作流的形式运行。audit-context-building 让一个子智能体分析每个函数,并把笔记写进文件。insecure-defaults 先并行跑六轮搜查,再让反驳智能体尝试推翻每一条发现。还有不少插件在仓库里附带了评测和测试。
插件可能带有 hook 和工具,所以安装之前先看每个插件的详情。
gh CLI,modern-python 在 PATH 上放了垫片,拦下直接运行的 python 或 pipuvx 启动 Serena MCP 服务器,它取自另一个 GitHub 仓库# Trail of Bits Skills:安装说明 这个工具包里是 Mindket 写的安装说明,不包含任何插件、技能、hook、脚本或规则文件。这些要从 Trail of Bits 的仓库安装:https://github.com/trailofbits/skills 许可证:知识共享署名-相同方式共享 4.0 国际许可协议(CC BY-SA 4.0),README 写着:“Made by Trail of Bits”(由 Trail of Bits 制作)。全文见 https://github.com/trailofbits/skills/blob/main/LICENSE。只是使用这些插件,不需要你做任何事。如果你分享它们或改过的版本,许可证要求你署名 Trail of Bits、附上许可证链接,并说明你改了什么。你分享的改动版本必须采用 CC BY-SA 4.0 或与之兼容的许可证。这个工具包没有照搬仓库里的文字。其中的命令照抄自 README 和各插件的 README,每条都注明了出处文件。 Trail of Bits Skills 由 Trail of Bits 制作。这个上架页面由 Mindket 制作,Mindket 并非 Trail of Bits 制作或背书。 这些说明的来源:README(https://github.com/trailofbits/skills/blob/main/README.md),插件市场文件(https://github.com/trailofbits/skills/blob/main/.claude-plugin/marketplace.json),AGENTS.md,以及 https://github.com/trailofbits/skills/tree/main/plugins 下各插件的 README 和 SKILL.md 文件。关于 Claude Code 的事实出自它的文档,用到的地方都注明了。所有命令都由 Mindket 照抄,一条也没有运行过。 ## 它是什么 一个给 AI 编程智能体用的插件市场,有四十多个插件,README 按工作类型分组。大多数插件带有一个或多个技能,有些还会加上斜杠命令、子智能体、hook 或一个 MCP 服务器。仓库的 AGENTS.md 说,一个 Claude 插件市场文件就是 Claude Code、Codex 和 ChatGPT 工作区导入的共同来源,没有单独给 Codex 的副本。 ## 按 README 分组的插件 | 分组 | 插件 | |---|---| | Smart Contract Security(智能合约安全) | building-secure-contracts, entry-point-analyzer | | Code Auditing(代码审计) | agentic-actions-auditor, audit-context-building, burpsuite-project-parser, c-review, cvss-scoring, differential-review, dimensional-analysis, fp-check, insecure-defaults, rust-review, semgrep-rule-creator, semgrep-rule-variant-creator, sharp-edges, static-analysis, supply-chain-risk-auditor, testing-handbook-skills, trailmark, variant-analysis, vulnerability-triage-brocards | | Malware Analysis(恶意软件分析) | yara-authoring | | Verification(验证) | constant-time-analysis, mutation-testing, patching-bugs, post-patch-validation, property-based-testing, regression-hunt, spec-to-code-compliance, writing-lean-proofs, zeroize-audit | | Reverse Engineering(逆向工程) | dwarf-expert | | Mobile Security(移动安全) | firebase-apk-scanner | | Development(开发) | code-improver, devcontainer-setup, gh-cli, git-cleanup, goal-prompt, github-triage, let-fate-decide, modern-cpp, modern-python, open-sourcing, review-walkthrough, second-opinion | | Team Management(团队管理) | culture-index | | Tooling(工具) | chrome-mcp-troubleshooting | 来源:README 里的“Available Plugins”表格,并与 marketplace.json 里的插件列表核对过。 ## 工具包里的文件 - setup/claude-code.md:README 给的 Claude Code 方式、各插件 README 给的安装写法,以及本地克隆的用法 - setup/codex.md:README 给的三条 Codex 命令 - setup/chatgpt-workspace.md:README 关于把插件市场导入 ChatGPT 工作区说了什么 - setup/plugin-extras.md:部分插件需要的 hook、工具和账号,出自它们的 README ## 先准备好这些 - Claude Code 或 Codex,用于两种命令行方式,或者一个能导入插件市场的 ChatGPT 工作区。 - 添加插件市场不需要别的东西。每个插件可能需要自己的工具:见 setup/plugin-extras.md。 - README 没有要求你为了安装插件市场准备账号或 API 密钥。 ## 装到哪里 已安装插件的文件由 Claude Code 自己保管。插件里的技能以插件名为前缀运行,写作 /plugin-name:skill-name,命令写作 /plugin-name:command-name,比如 /differential-review:diff-review。Codex 和 ChatGPT 工作区读取的是同一个插件市场文件。 ## 你的数据 这些插件是指令、命令和辅助程序,在你的电脑上运行,读取你指给它们的代码。智能体读到的内容会发给你选的模型提供方。有几个插件会有意发送代码:second-opinion 会把截取的补丁发给 Codex、Antigravity 或 Gemini CLI,这些由你自己设置。有三个插件带 hook,一个会启动 MCP 服务器:见 setup/plugin-extras.md。 ## 更新和卸载 README 没有给出更新或卸载的步骤。Claude Code 的插件页面说,`/plugin` 里的 Installed 标签页列出每个插件,并提供更新或卸载的操作。Claude Code 的技能页面给出的命令是 `/plugin uninstall <plugin-name>@<marketplace-name>`,比如这里的 second-opinion@trailofbits。
README.md 5 KB setup/chatgpt-workspace.md 1 KB setup/claude-code.md 4 KB setup/codex.md 2 KB setup/plugin-extras.md 4 KB
Updated by Mindket to the current version of this kit.
同一分类里与本产品共有主题最多的已上架 GitHub 项目。
| 产品 | 星标 | 活跃度 | 语言 | 许可证 | 最近更新 |
|---|---|---|---|---|---|
| Trail of Bits Skills(Trail of Bits 安全插件市场) 本页 | 8,060 | — | — | CC-BY-SA-4.0 | — |
| Anthropic Agent Skills共有 agent-skills | 194,161 | 活跃 | Python | — | |
| Ponytail共有 agent-skills | 186,952 | 活跃 | JavaScript | MIT | |
| Agent Skills 工程技能包共有 agent-skills | 116,705 | 活跃 | JavaScript | MIT | |
| Taste Skill共有 agent-skills | 115,072 | 活跃 | JavaScript | MIT | |
| Impeccable共有 agent-skills | 109,647 | 活跃 | Rust | Apache-2.0 |
Hacker News、Bluesky、X、Reddit、Facebook 和 YouTube 上提到这个项目的帖子和评论,来自每周一次的搜索和 Trendshift。它们不是 Mindket 写的,也未经核实,点开即可在原帖处阅读。
lmstudio-community · 工具包
面向 LM Studio 的 27B Bonsai 模型 GGUF 转换版,含 3.80 GB 的 Q1_0 语言文件和 0.93 GB 的 BF16 视觉投影器。已测试文本、视觉和并行工具调用。
LibertAIDAI · 工具包
以每权重 2.9 位的 EXL3 量化运行 DeepSeek-V4.1-Flash-1017,这是一份 196 GiB 的副本,适合在自己硬件上部署大模型的人。困惑度与原模型相差不大。
facebook · 工具包
根据文字描述或音频提示生成短音乐片段,是 facebook MusicGen 的 small 检查点。适合想在自己电脑上试用文字生成音乐的开发者和音乐爱好者。
alpindale · 工具包
用一个只有约 984 个权重的小型神经网络,为 C 源代码的每个字符打上语法高亮标签,通过一个小小的 C 程序运行。适合对手工设计的网络好奇的开发者和研究者。
prithivMLmods · 工具包
在浏览器或你自己的电脑上,用一个 Gradio 应用试用 FLUX.2 Klein 图像模型的一组 LoRA。适合制作或测试 AI 图片的人。
Sokheng · 工具包
这个模型从文档、收据和路牌照片里读取高棉语和英语文字,用一个检测器找文本行,再用识别器读每一行。适合需要在 Python 里做高棉语 OCR 的开发者。