OpenAI 开源数学仓库近万星领跑

本周 GitHub 最火的趋势是 Agent Skill 生态的爆发：不是又一个 Agent 框架，而是一堆「教 Agent 干具体活」的技能包。再加上 OpenAI 突然开源数学仓库拿下近万星，这一周的信息量很足。以下按关注度精选 8 个项目。

openai/math 【本周最热】

⭐ 9,527 stars

OpenAI 开源的数学仓库，用 Lean 形式化语言写成，是本周唯一破 5000 星的项目，断层领先第二名近 8000 星。仓库地址：openai/math。

为什么值得关注：Lean 是形式化数学与 AI 可验证推理的交汇点。OpenAI 亲自下场开源 Lean 数学内容，对做 AI 数学推理、定理证明方向的研究者是直接可用的语料与基准。如果你在做 LLM 评测或形式化验证，这是本周必看仓库，没有之一。

快速上手：克隆仓库后需要 Lean 工具链环境，适合有形式化数学背景的读者直接阅读源文件结构。

QingYunA/answer-me-with-html

⭐ 2,058 stars

一个 Agent Skill：让 AI 用一页可读的 HTML 回答复杂问题，而不是甩给你一坨 Markdown。仓库：answer-me-with-html。

为什么值得关注：它解决的是「AI 回答了但我读不下去」的问题。与直接对话输出相比，一页排版良好的 HTML 能承载图表、层级和重点，适合做调研报告、方案对比这类需要「读」而非「扫」的内容。如果你在搭 Agent 工作流，这是个低成本高感知的技能包。

快速上手：JavaScript 项目，clone 后按 README 把 skill 挂到你的 Agent 即可。

storytold/effectcraft 与 storytold/designcraft

⭐ 1,675 stars / ⭐ 984 stars

同一组织 storytold 本周同时上榜两个 Rust 项目：effectcraft 和 designcraft。原始数据未提供详细描述，但从命名看是「效果/设计」方向的工具链。

为什么值得关注：一个新组织一周内两个 Rust 仓库同时冲进 Top 10，这本身就是信号——Rust 在创意工具领域的渗透在加速。建议直接去仓库看 README 判断是否命中你的场景。

facebookincubator/muse-gadget-sdk

⭐ 1,655 stars

Facebook 孵化器开源的 Muse 硬件小工具 SDK，C 语言编写。仓库：muse-gadget-sdk。

为什么值得关注：大厂孵化器开源硬件 SDK 并不常见。如果你做嵌入式或可穿戴设备原型，官方背书的 SDK 意味着文档、示例和长期维护的下限有保障。适合硬件创客和嵌入式工程师第一时间跟进。

alchaincyf/huashu-art-motion

⭐ 1,651 stars

中文社区的艺术动画 skill：35 种艺术风格、9 种解说语法，用代码让画动起来。仓库：huashu-art-motion。

为什么值得关注：与 answer-me-with-html 一样，这是「Agent Skill」趋势的又一例证——但方向是创意内容。如果你做自媒体、教育内容或数字展陈，把静态艺术图变成带解说的动画，这个 skill 直接可用。JavaScript 编写，门槛不高。

deadinside28/bloodborne_pc

⭐ 1,638 stars

C++ 编写的《血源诅咒》PC 相关项目。仓库：bloodborne_pc。

为什么值得关注：游戏逆向/移植类项目一直是 GitHub 的流量密码，但这类仓库也常伴随版权风险，star 数高不代表能长期存在。建议关注但谨慎使用，具体功能以仓库 README 为准。

StayLameBro/backburner

⭐ 849 stars

让你的 iPhone 帮 Mac 跑 27B 模型：通过 USB-C 线缆实现更快的 prompt 读取和更大上下文。仓库：backburner。

为什么值得关注：这是本周最有想象力的项目——把手机当作 Mac 的推理加速外设。与纯云端方案相比，它压榨的是你口袋里已有的算力。如果你在本地跑大模型且手头有 iPhone，值得一试。Python 编写。

elstongun/leviathan

⭐ 665 stars

Agent 的深度记忆层：单个静态二进制，把 JSONL、JSON、CSV/TSV、SQLite 或任何数据库 CLI 能导出的记录，变成带排序的全文索引。仓库：leviathan。

为什么值得关注：Agent 记忆是当前最热的基建方向之一。与向量数据库方案相比，leviathan 走的是「全文索引 + 静态二进制」路线——零依赖、可分发，适合不想引入重型向量库的团队。如果你在做 Agent 的长期记忆，这是本周最值得动手试的一个。

快速上手：下载单个二进制，指向你的数据文件即可建索引。

趋势判断

把本周榜单摊开看，三条线很清晰：

1. Agent Skill 成为新封装单位：answer-me-with-html、replica-skill（864 星，11 个克隆任意 App 的 Claude skill）、huashu-art-motion——大家不再造 Agent 框架，而是写「Agent 的职业技能」。
2. 本地推理的硬件协同：backburner 代表了「用尽身边每一块芯片」的思路。
3. Rust 持续渗透创意工具：storytold 双子星和 leviathan 都是 Rust。

来源与延伸阅读

• openai/math
• QingYunA/answer-me-with-html
• StayLameBro/backburner
• elstongun/leviathan

接下来值得继续跟踪

• openai/math 后续是否伴随模型或论文发布，观察其 commit 频率与 issue 讨论。
• Agent Skill 类项目（answer-me-with-html、replica-skill）是否被主流 Agent 平台官方收录，这是生态成型的信号。
• backburner 的实际加速数据尚无第三方验证，建议关注其 issue 区的用户反馈。
• bloodborne_pc 的版权风险走向，可能影响仓库存活。