AI 开源项目 · 2026年7月7日

无涯2026-07-072026-08-02

AI 开源项目 · 2026年7月7日

每周精选优质 AI 开源项目。

1. Open Design ⭐ 57.4k

Open Design 是一款开源的 Claude Design 替代方案，完全免费且可在本地运行。与 Claude Design 每月 $20 订阅费不同，Open Design 支持在本地同时运行 16 个 AI 代理，提供设计生成、代码生成和原型构建等核心功能。

核心特性：

本地运行，无需 API 订阅费用
支持 16 个并发 AI 代理
开源可自托管，数据完全隐私可控
支持设计稿生成、代码转换、原型迭代

GitHub: github.com/open-design（尚未公开确切仓库地址）

2. Mistral Leanstral 1.5

Mistral AI 最新发布的 Leanstral 1.5 是一款 Apache-2.0 开源的形式化验证模型，总参数量 119B、仅 6B 激活参数。该模型专攻数学定理证明和代码形式化验证，在 miniF2F 基准测试上达到 100% 饱和，在 PutnamBench 上解决了 587/672 道题目，在 FATE-H 和 FATE-X 基准上分别达到 87% 和 34% 的 SOTA 成绩。

核心特性：

Apache-2.0 开源许可，完全免费
6B 激活参数，高效推理
专攻形式化数学证明与代码验证
自动发现开源仓库中未知 Bug
在 AVL 树时间复杂度验证等真实场景表现出色
可通过 Mistral Vibe 直接使用

为何重要： 这是目前最强的开源形式化验证模型，将 Lean 定理证明器的能力带入实用阶段，能够自动检测 Rust 代码中的溢出等边缘情况错误，对软件可靠性有重大意义。

GitHub: github.com/mistralai/leanstral-1.5

3. Arcee AI Trinity Large (400B MoE)

Arcee AI 是一家小型创业公司，但推出了参数量达 400B 的开源稀疏 MoE 大语言模型 Trinity Large。该模型采用 Apache 2.0 许可，完全在美国训练，声称在多项基准上超越 Meta 的 Llama 系列。Arcee 还公开了 10T token 的训练检查点，为研究人员提供了前所未有的模型智能成长过程透明度。

核心特性：

400B 参数稀疏 MoE 架构
Apache 2.0 开源许可
美国本土训练和开发
公开 10T token 训练检查点
后续推出 Trinity Large Thinking 推理版本

为何重要： 这是少数在美国本土从头训练的 400B 级开源模型，其训练检查点公开为开源社区提供了难得的研究素材。较小的创业公司挑战巨头，体现了开源 AI 生态的活力。

GitHub: github.com/arcee-ai/trinity-large

4. Mistral Voxtral TTS

Mistral AI 发布了一款开源语音生成模型 Voxtral，支持多语言文本到语音合成。据评测，Voxtral 在语音自然度和多语言能力上超越了 ElevenLabs 等商业产品。Mistral 不仅开源了模型权重，还提供了推理代码，允许开发者在自己服务器上部署。

核心特性：

开源权重，完全可自部署
多语言 TTS 支持
自然度超越 ElevenLabs
轻量级，推理速度快
适合语音助手、内容创作、无障碍应用

为何重要： 高品质 TTS 模型的完全开源大大降低了语音应用的门槛。开发者不再需要依赖付费 API，可以在本地或自有服务器上运行高自然度的语音合成，对语音助手、有声书制作、残障辅助等领域意义深远。

GitHub: github.com/mistralai/voxtral

5. Hermes MoA 2.0

Nous Research 发布的 Hermes MoA 2.0 (Mixture of Agents) 是一个开源模型集成框架，通过智能路由策略将 GPT、Claude、DeepSeek 等多个模型的优势结合，在多项基准测试中超越了任何单一模型。该框架采用开源架构，开发者可以根据需求自定义模型组合。

核心特性：