OpenAI数学库爆火，Rust重写全家桶来袭

本周 GitHub 最火的趋势是：AI 巨头下场发数学库 + 纯 Rust 重写整个办公软件宇宙 + Agent 从聊天走向操作真实设备。15 个新仓库合计约 5.5 万 stars，下面挑 8 个最值得打开编辑器的。

openai/math 🔥

⭐ 14,085 stars

OpenAI 官方开源的 Lean 数学库，一周拿下 14k stars，断层第一。Lean 是形式化数学证明语言，OpenAI 入场意味着 AI 辅助定理证明正在从学术玩具变成工程问题。如果你在做 LLM 推理能力评估、形式化验证或 AI 数学研究，这是本周必看的项目——它很可能成为后续 AI 数学能力的基准测试床。

快速上手：直接 clone openai/math，用 lake build 构建，浏览其中的定理结构。

storytold/wordcraft 🔥

⭐ 5,971 stars

用纯 Rust 对 Microsoft Word 做 clean-room 重实现。这不是孤例——storytold 同一周还发了 gridcraft（Excel 风格表格，⭐ 2,934）、cadcraft（AutoCAD 风格 CAD，⭐ 2,676）、deckcraft（PowerPoint 风格演示，⭐ 2,037）、soundcraft（Pro Tools 风格音频工作站，⭐ 1,816），合称 ArtCraft Crafting Apps，五件套合计超 1.5 万 stars。

为什么值得关注：与单个重写项目相比，这是一个有组织的"用 Rust 替换整个桌面软件栈"实验。如果你想做高性能桌面应用、研究文档渲染引擎，或者单纯想要一个没有订阅费的本地 Word，都值得读它的源码。Rust 桌面生态（GUI、文本排版、渲染）正在被这类项目快速补课。

alchaincyf/huashu-art-motion

⭐ 3,389 stars

中文区的惊喜：一个"艺术动画 skill"，内置 35 种艺术风格、9 种解说语法，用代码让静态画动起来。定位是给 AI Agent 用的技能包——你给它一幅画，它产出带解说的艺术动画。

使用场景：如果你在做短视频内容自动化、博物馆/艺术教育类产品，或者想研究"skill"这种 Agent 能力封装范式，这个仓库的 35 种风格定义本身就是很好的 prompt 工程素材。与通用视频生成模型相比，它走的是"规则化、可控、可复现"路线。

快速上手：clone alchaincyf/huashu-art-motion，按 README 配置为 Agent skill 即可调用。

wheresryan22/anatomy

⭐ 3,342 stars

一个生成"等距视角机器/复杂系统交互图解"的 Agent skill，输出精修 SVG，可选 WebGL shader 和 3D 效果。想给一篇技术博客配一张"数据库架构剖视图"或"火箭发动机工作原理图"？描述一下，它画出来。

与 huashu-art-motion 对比着看很有意思：一个偏艺术表达，一个偏工程图解，但都是"Agent + 结构化视觉输出"路线。SVG 输出意味着产物可编辑、可缩放、可直接进文档——比位图截图实用得多。

快速上手：clone wheresryan22/anatomy，作为 skill 挂到你的 Agent 里，用自然语言描述目标系统即可。

mhtsec/ARTEX

⭐ 3,151 stars

AI 自主渗透测试系统，百度"agent+"攻防挑战赛冠军项目，Go 编写。安全圈的 Agent 落地样本：不是聊天助手，而是能自主执行完整渗透测试流程的系统。

适合谁：红队工程师、安全研究员、想了解"AI 自动化攻防"边界的人。与通用 Agent 框架相比，它的价值在于把安全工具链编排成了可自主决策的闭环。⚠️ 仅限授权测试环境使用。

快速上手：clone mhtsec/ARTEX，按 README 配置目标环境（务必是自己的靶机）。

zhongerxin/iPhone-use

⭐ 3,050 stars

让 Codex 通过 USB 操作真实 iPhone：引导安装、App 自动化、实时屏幕与截图回退。相当于把"computer use"从桌面延伸到了 iOS 真机。

使用场景：iOS 自动化测试、App 兼容性验证、批量设备操作。与模拟器方案相比，真机 + USB 的路线绕开了模拟器与真机的行为差异；截图回退机制说明作者认真处理了 Agent 操作失败后的状态恢复问题——这是所有 device-agent 的核心难点。

快速上手：clone zhongerxin/iPhone-use，USB 连接 iPhone 后按 README 启动。

nullmoth/nvidia-macos-driver

⭐ 2,543 stars

给 macOS 15 Sequoia（Intel / OpenCore）上的 NVIDIA GeForce RTX 卡写 Metal 驱动，免费、含源码。Rust 写的。

为什么值得关注：Apple 砍掉 N 卡支持多年，老 Mac Pro / Hackintosh 用户一直靠社区驱动续命。这是"社区用现代语言补商业弃坑"的典型样本。如果你有一台插着 RTX 卡的 Intel Mac，这周可以试试；驱动开发本身也是学习 GPU 栈的稀有教材。

快速上手：clone nullmoth/nvidia-macos-driver，按 README 的 OpenCore 配置说明安装（注意核对硬件兼容列表）。

noahdunnagan/fsearch

⭐ 1,868 stars

macOS 全盘文件搜索：模糊文件名、容错拼写、索引内容 grep，官方数据是 800 万文件约 1ms。Rust 编写。

使用场景：如果你受够了 Spotlight 的黑盒排序和偶尔的索引失灵，这个项目给了完全可控的替代品——索引在你本地，搜索逻辑开源可审计。与 tendedero（⭐ 1,815，把截图"晾"在屏幕顶部的趣味 macOS 小工具）放在一起看，本周 macOS 原生工具生态相当活跃。

快速上手：clone noahdunnagan/fsearch，cargo build 后建立索引即可。

大局观：三条趋势线

1. Rust 桌面重写运动成型：storytold 五件套 + nvidia 驱动 + fsearch，Rust 正在从系统层杀入桌面应用层。
2. Agent 从对话走向操作：ARTEX 做攻防、iPhone-use 操作真机、anatomy/huashu 输出视觉产物——"skill"成为新的能力封装单位。
3. AI 巨头开源基础设施：openai/math 表明形式化数学正在成为 AI 能力评测的公共地基。

来源与延伸阅读

• openai/math
• storytold/wordcraft
• mhtsec/ARTEX
• zhongerxin/iPhone-use
• noahdunnagan/fsearch

接下来值得继续跟踪

• openai/math 后续是否会与 OpenAI 的模型/评测工具链打通——观察其 issue 区和依赖更新。
• storytold 五件套的成熟度：目前均为新仓库，需验证各项目的实际可用功能范围，关注 release 节奏。
• ARTEX 与 iPhone-use 的安全与稳定性边界：尚未有第三方复现报告，建议在隔离环境自行验证后再评估生产可用性。