工具集

AWS 官方：校验 CloudFormation 模板的语法与安全合规，分析部署失败原因，检索 CloudFormation 与 CDK 文档、代码示例和最佳实践。取代已弃用的 Cloud Control API 服务器，需要 AWS 凭证。

让 agent 查询 AWS 账单、成本趋势、预算与异常支出，并给出 Savings Plans、预留实例与资源规格的优化建议。AWS 官方维护，需要配置 AWS 凭证。

在浏览器里批注和评审 agent 生成的计划、文档与代码 diff，一键把修改意见发回 agent；通过钩子接入计划模式，支持 Claude Code、Codex 等多种 agent。需先运行官方安装脚本装好命令行。

从网页中提取正文，去掉评论、侧栏、页眉页脚等杂项，输出干净的 HTML 或 Markdown，并附标题、作者、发布日期等元数据，适合 agent 读网页时节省 token。最初为 Obsidian Web Clipper 开发，作者 kepano；项目仍在开发中。

用 HTML 与 CSS 排版并导出 PDF 的渲染引擎，支持分页等打印样式标准，适合批量生成统计报告、发票与票据。Python 实现，依赖系统的 Pango 库。

对论文 PDF、文本与 Office 文档做高精度检索增强问答，自动补全引用元数据并检查撤稿，答案附可追溯出处；提供 pqa 命令行与 Python 库。默认需要大模型 API Key，也可配置本地模型。

一句「为这个项目搭建 harness」即可按领域设计代理团队，生成子代理定义、配套技能与编排方式并做验证，还能根据使用反馈持续演进。支持工作流编排、常驻代理协作与子代理委派三种模式。

先用强模型审计代码库，按正确性、安全、性能、测试等维度列出带证据的问题，写成可交给便宜模型执行的计划并评审执行结果；自身不改代码。shadcn 出品。

静态扫描 Terraform、CloudFormation、Kubernetes、Helm、Dockerfile 以及 CI 流水线配置里的安全和合规问题，内置上千条策略，能识别硬编码密钥，可输出 SARIF、JSON 等格式。由 Prisma Cloud 维护。

以代码管理数据库 schema 的迁移工具：用 SQL、HCL 或 ORM 声明期望结构，自动规划、检查并执行迁移，还能把现有库导出为 HCL、SQL 或 Mermaid ER 图。支持 PostgreSQL、MySQL 等十余种数据库。

在一个终端里并行管理多个 Claude Code、Codex、Gemini、Aider 会话：每个任务使用独立的 git worktree，可后台运行，并在合并前审阅改动。依赖 tmux 与 gh。

把 dig、ps、ls、ifconfig 等上百种命令的输出及常见文件格式转换成 JSON，便于 agent 用 jq 或脚本可靠解析；也可作为 Python 库使用。

免费的远程 MCP 服务，把任意 GitHub 仓库或 GitHub Pages 变成文档端点，让 agent 按需读取最新文档、搜索代码，减少 API 幻觉。无需注册与安装，也可自托管。

软件项目的规格驱动管理流程：先引导头脑风暴写出 PRD，再拆成 Epic 与带依赖的任务并同步为 GitHub Issues，可随时询问站会进度、下一步与阻塞项，也能派多个 agent 并行写代码。需要 Git、已登录的 gh 命令行和一个 GitHub 仓库。

开源的可视化路由追踪工具：显示每一跳的 IP 归属地、AS 号与运营商，支持 MTR 连续探测与 JSON 输出，完整版还能以 MCP 服务形式部署。

asc 命令行：脚本化调用 App Store Connect API，管理构建、TestFlight、元数据、签名与提审，可在终端或 CI 自动化 iOS/macOS 发布，并附带配套 agent 技能包。需要 App Store Connect API 密钥。

在 Apple Silicon Mac 上离线运行的语音工具：命令行把文字合成语音（支持中文与声音克隆）、把录音转写成文字，可为课件和讲解视频配音、整理讲座与访谈录音，数据不出本机。需要 M 系列芯片 Mac 与 Python 3.10+，导出 MP3 需装 ffmpeg，首次运行会下载模型。

重新实现 HTTPie 语法的 HTTP 请求命令行，Rust 编写、注重性能；命令行里的键值对默认序列化为 JSON 发送，适合快速调试 REST 接口。

把彭思达老师公开的科研写作笔记整理成一个技能，指导 agent 从审稿人视角改写 ML/CV/NLP 论文的摘要、引言、方法与实验，核对每个论点是否有实验证据支撑，并在投稿前做自查。纯方法论，无需账号或 API Key。

月之暗面官方终端编码 Agent：读改代码、执行命令、搜索文件与抓取网页，支持视频输入、MCP、插件、子代理与钩子，并可通过 ACP 接入 Zed、JetBrains。需登录 Kimi 账号或配置 Moonshot API Key，取代已归档的 Kimi CLI。

用同一套选择器语法查询、修改和转换 JSON、YAML、TOML、XML、CSV、HCL、INI 等格式的数据，可以直接改写配置文件，也能在格式之间互转，适合 agent 在脚本里处理结构化数据。单个无运行时依赖的二进制文件，用法类似 jq / yq。

Trail of Bits 出品的静态分析技能组：用 CodeQL 做跨过程污点追踪与数据流分析，用 Semgrep 做规则扫描，并解析、去重 SARIF 结果。需本机安装 CodeQL 或 Semgrep。

Trail of Bits 出品，从安全视角审查 PR、提交或 diff：结合 git blame 追溯历史、按调用方数量估算改动影响范围、检查测试覆盖缺口，输出 Markdown 审查报告。

Trail of Bits 出品的技能：审计接入 AI 编码 agent（Claude Code Action、Codex、Gemini CLI 等）的 GitHub Actions 工作流，检测提示注入、env 变量中转、危险沙箱配置与通配符 allowlist 等越权风险。