开源项目 openai/math：722 篇 AI 数学手稿 + Lean 形式化证明，前沿实验室第一次把"机器数学"完整摊在阳光下
openai/math 722 篇 AI 数学手稿 + Lean 形式化证明，前沿实验室第一次把”机器数学”完整摊在阳光下 项目速览 项目 内容 仓库 openai/math 语言 Lean（形式化证明）+ LaTeX（手稿源码） Stars 约 1.52 万…
阅读全文 →开源项目 xtool：在 Linux 和 Windows 上用 SwiftPM 构建并部署 iOS 应用的 Xcode 替代品
xtool 跨平台 Xcode 替代品：不用 Mac，也能在 Linux / Windows 上构建、签名并部署 iOS 应用 项目速览 项目 内容 仓库 xtool-org/xtool 语言 Swift Stars / Forks 13,200+ …
阅读全文 →开源项目 Moli：Rust 从零写的 Agent 无头浏览器，爬 192 个真实网站比 Chrome 省 90% 内存
Moli Rust 从零写的 Agent 无头浏览器，爬 192 个真实网站比 Chrome 省 90% 内存 项目速览 项目 内容 仓库 lexmount/moli 语言 Rust（独立浏览器内核，非 Chromium 封装） Stars 约 1.94 万（2026-…
阅读全文 →开源项目 AirLLM：4GB 显存跑 70B、3.7GB 跑 2.8T 参数的分层推理，现在还支持训练
AirLLM 4GB 显存跑 70B、3.7GB 跑 2.8T 参数的分层推理，现在还支持训练 项目速览 项目 内容 仓库 lyogavin/airllm 语言 Python（Jupyter Notebook 项目，PyPI 包 airllm） Stars 约 3.93…
阅读全文 →开源项目 AnyPS5：不做模拟器，把 PS5 可执行文件静态转译成 Linux/Windows 原生程序
AnyPS5 不做模拟器，把 PS5 可执行文件静态转译成 Linux/Windows 原生程序 项目速览 项目 内容 仓库 boykopovar/AnyPS5 语言 C++ Stars 约 4.25 万（2026-10-18 GitHub API 口径），F…
阅读全文 →开源项目 ArtCraft：Rust 写的"艺术家 IDE"，先把场景布好，再让模型生成
ArtCraft Rust 写的”艺术家 IDE”，先把场景布好，再让模型生成 项目速览 项目 内容 仓库 storytold/artcraft 语言 Rust（桌面应用） Stars 约 3.23 万（2026-10-18 GitHub API 口径），Forks 5…
阅读全文 →开源项目 God's Eye View：把 1.1 万架实时航班、4000 路公共摄像头和语音 Agent 装进一个浏览器地球仪
God’s Eye View 浏览器里的”间谍卫星”模拟器——只不过数据全是真的 项目速览 项目 内容 仓库 bilawalsidhu/gods-eye-view 语言 JavaScript（Node.js 24+ / Vite） Stars / F…
阅读全文 →开源项目 Orca：10 万星的 Agent 舰队驾驶舱，一个提示词分发给五个 Agent 并行干活
Orca 把”一舰队 Agent”当作一等公民来管理的桌面工作台，一个界面调度所有编码 Agent 项目速览 项目 内容 仓库 stablyai/orca 定位 AI Agent 编排工作台（AI Orchestrator for 100x builders） 语言 T…
阅读全文 →开源项目 Rapid-MLX：Apple Silicon 上的双兼容推理服务器，赌的是「工具调用不翻车」
Rapid-MLX Apple Silicon 上的双兼容推理服务器，赌的是「工具调用不翻车」 项目速览 项目 内容 仓库 raullenchai/Rapid-MLX 语言 Python（基于 Apple MLX 框架） Stars 约 3,989（2026-10-17…
阅读全文 →开源项目 e2e：Agent 与断言同居一个测试，TesterArmy 开源的新一代端到端测试框架
e2e Agent 与断言同居一个测试，TesterArmy 开源的新一代端到端测试框架 项目速览 项目 内容 仓库 tester-army/e2e 语言 TypeScript（npm 包名就叫 e2e） Stars 约 1.10 万（2026-10-17 GitHub…
阅读全文 →