VibeVoice：微软开源前沿语音 AI 模型家族
今天在 GitHub Trending 上看到一个有意思的项目：VibeVoice，这是微软开源的前沿语音 AI 模型家族，同时覆盖语音识别（ASR）和语音合成（TTS），核心...
AI
AG Kit：为 AI Agent 工程化而生的 Antigravity 开发工具包
今天在 GitHub Trending 上看到一个很有意思的项目：AG Kit，它是一个以 Google Antigravity 为核心运行时的 AI Agent 工程化工具包，将 AI Agent 的开发从「调 prompt 碰运气」推进到「工程化管理...
BrainPilot：一个用 Agent 自动化脑科学研究的开源平台
今天在 GitHub Trending 上看到一个有意思的项目：BrainPilot，一个开源的多智能体脑科学研究平台，让 AI Agent 真正介入科学工作流——从文献综述、实验设计、...
Erdős 猜想的 AI 证明工厂：ShouqiaoW/erdos 如何用 AI + Lean 攻克数学难题
今天在 GitHub Trending 上看到一个有意思的项目：ShouqiaoW/erdos，它用 AI 辅助「写」数学证明，再用 Lean 把证明机器检查一遍——把传奇数学家 Paul Erd...
jCodeMunch MCP：节省95% Token的GitHub代码检索神器
今天在 GitHub Trending 上看到一个有意思的项目：jCodeMunch MCP，它是一款基于 tree-sitter AST 解析的精准 GitHub 源码检索 MCP Server，号称可以将 AI 代码探索的 Token 消...