发现最出色的 AI 工具

让编程智能体在独立 Git worktree 中并行运行并审查其代码修改的桌面应用。

将语言模型打包为单文件可执行程序、在受支持操作系统上本地分发与运行的工具。

将隔离的编程工作区与工单、拉取请求关联的 Git worktree 管理器，支持并行智能体工作流。

记录 AI 生成代码来源的 Git 扩展，将已跟踪的修改关联到智能体、模型与提示词。

面向 AI 智能体框架的 Python 中间件，提供预算检查、令牌限制、熔断与逐智能体费用跟踪。

面向代码生成与智能体工作流的编程语言模型系列，提供模型与使用示例。

面向编程与数学推理的混合专家语言模型，模型使用受单独的模型许可约束。

使用 MiniMax 模型审查拉取请求并发布反馈评论的 GitHub Action，需要 MiniMax API 密钥。

使用 Z.ai 模型审查拉取请求并发布反馈评论的 GitHub Action，需要 Z.ai API 密钥。

通过规则与结构分析标记可能与 AI 生成有关的代码模式的命令行工具和 GitHub Action，结果不能证明代码作者。

跨工单、代码仓库和拉取请求运行编程智能体的本地工作区，支持检查点与工作续接。

Claude Code 本地状态栏辅助工具，提供上下文用量估计、会话统计与互动虚拟宠物，不调用模型 API。

可选择页面元素、提出修改并审查源码差异的浏览器 AI 编程工具栏，需要自行提供模型 API 密钥。

以工单驱动的软件工程平台，用于编排编程智能体并跟踪工作流与结果。

用于描述神经网络规范、执行神经网络并进行验证的 Lean 4 框架。

带有 Lean 支持的终端 AI 编程助手，可查看证明目标、检查候选证明、搜索声明并验证证明。

从 Lean 项目中提取数据的工具包，并支持 Lean 的程序化交互。

Claude 技能集合涵盖网站品牌、设计、内容、SEO、开发、运营、增长和研究。

推荐高级数据结构、分布式算法、框架和工具，并附复杂度评级的 Claude Code 技能。

一个通过API连接代理命令行界面与网站的工具。

使用专家代理的Claude Code工作流程，各阶段之间独立检查，支出上限以及关于范围、设计和发布的最终人类决策。

通过 Chrome DevTools Protocol 截取完整网页的 Claude Code 技能。

为 Next.js 和 Sanity 网站添加博客的 Claude Code 技能，涵盖 SEO 与翻译准备、规划、规格说明，以及 AI 生成的主视觉图片。

SkillOpt 为参数固定的语言模型智能体优化可复用的自然语言技能，支持基于运行轨迹的编辑、通过验证后更新，以及可部署的技能文件。