# 小星星大野心：7个新星仓库拆解 ## 本期发掘思路 这一期刻意避开两类仓库：动辄十万 Star 的「知名大厂」，以及已经被写烂的 AI 编程 Agent 红海。发掘口径转向**近 7 天到近 45 天内新建的新生仓库**（Star 数据截至 2026-09-12，来自 GitHub Search API 抓取），它们大多还停在三位数 Star，但方向差异极大：有人用 Lean 给千禧年数学难题交「可验证作业」，有人把党政机关公文国标做成一句话出稿的排版引擎，还有人在给外卖行业写 AI 工作流范本。本期 7 个仓库里 6 个 Star 低于 2000，全部处于「刚出生、增长快、卡位早」阶段，无论是想尝鲜、学习还是二开变现，现在上车成本都最低。 --- ## 1. openai/NavierStokesAndEuler —— AI 证数学，这次交的是「可验证作业」 [openai/NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) | ⭐1777 | 近 7 天新建 **一句话定位**：OpenAI 公开的 Lean 证明证书仓库，为 Navier-Stokes 与 Euler 方程的相关数学结果提供机器可验证的形式化证明。它解决的最大痛点是「可信度」——AI 做数学的成果过去常停留在新闻稿里，外人无法核验；而 Lean 证书意味着任何人用证明助手就能逐行检查，AI 没法蒙混过关。 **背景拆解**：Navier-Stokes 方程是克雷数学研究所悬赏 100 万美元的七大千禧年难题之一，Euler 方程是其无粘性特例，都属于流体力学最硬核的内核。此前 Anthropic 曾开源费马大定理的 Lean 形式化证书，「大模型 + 形式化验证」正在成为头部实验室的军备竞赛新赛道。本周 Hacker News 首页 558 分的热议帖《A misalignment of AI in mathematics》也说明，AI 数学成果的可信度问题正在被社区严肃讨论。 - 上手难度：⭐⭐⭐⭐⭐（需要 Lean 语法 + 研究生级数学双重门槛） - 适用人群：形式化验证工程师、数学/CS 交叉方向研究者 - 商业方向：Lean 人才极度稀缺，形式化验证在金融协议审计、密码学、芯片验证领域的报价持续走高，读懂这个仓库的工程实践本身就是稀缺技能 ## 2. mizzlelover/gongwen-gbt9704-skill —— 公文国标排版，一句话出可编辑稿 [mizzlelover/gongwen-gbt9704-skill](https://github.com/mizzlelover/gongwen-gbt9704-skill) | ⭐475 | 2026-09 新上架 **一句话定位**：跨平台中文公文排版 Skill，按 GB/T 9704-2012《党政机关公文格式》国标生成可编辑 DOCX。它打的痛点极其真实：公文的字体字号、页边距、红头、版记、成文日期格式全有硬性规定，用 Word 手动调一次至少半小时，改一次版式又半小时。 **核心亮点**：一是「参数化国标」——把 GB/T 9704-2012 的版式规则写进 Skill，Agent 按规范自动落版；二是输出的是**可编辑 DOCX** 而非图片或 PDF，公文要逐级走流程改稿，可编辑是刚需；三是跨平台，不绑定某一家办公软件。这是典型的「把领域知识封装成 Agent 技能」的标杆案例，和之前流行过的公文写作风格类 Skill 不同，它解决的是「格式合规」这个可以客观验收的问题。 - 上手难度：⭐⭐（装上 Skill 即用，前提是有支持 Skill 的 Agent 运行环境） - 适用人群：体制内笔杆子、国企行政、政企数字化服务商 - 商业方向：政务文书自动化是付费意愿明确的场景，可二开成政企 OA 系统插件、招投标书排版服务，或打包成行业版（司法文书、国企红头文件） ## 3. sumimakito/Mac-Duo —— 把 iPhone 的「Duo」玩法搬上 MacBook [sumimakito/Mac-Duo](https://github.com/sumimakito/Mac-Duo) | ⭐523 | 近 7 天新建 **一句话定位**：仓库自述只有一句「Wish you could bring the iPhone Duo effect to your MacBook?」——一个用 Swift 写的 macOS 原生应用，把 iPhone 上火起来的 Duo 前后双摄同录玩法复刻到 Mac 上。痛点是：双摄同录是短视频平台的内容爆款玩法，但 Mac 只有一颗摄像头，桌面端内容创作者（开箱、手作、教程类 UP 主）此前没有顺手的工具。 **核心亮点**：新仓上线不到一周 Star 冲到 500+，说明需求踩得极准；作者是独立开发者 sumimakito，仓库以 macOS 原生技术栈实现，走的是「小切口 + 消费级体验」路线。值得注意的是，这类「手机玩法桌面化」的移植项目几乎每个平台都缺一轮，Mac-Duo 卡的是 macOS 影像创作这个位置。 - 上手难度：⭐⭐（下载或自行构建后即用，macOS 12+ 用户无门槛） - 适用人群：Mac 端内容创作者、独立 macOS 开发者（当源码教材看也值） - 商业方向：直接对标 Mac App Store 付费工具（同类录屏/影像工具年付 30-80 美元是常见定价），也可扩展成「桌面创作者影像工具箱」 ## 4. truanayangi-com/truanayangi —— 越南语版「今天中午吃什么」 [truanayangi-com/truanayangi](https://github.com/truanayangi-com/truanayangi) | ⭐568 | 近 7 天新建 **一句话定位**：Trưa Nay Ăn Gì（越南语「今午吃啥」），一个解决全人类共同难题——午饭选择困难——的本地化决策工具。仓库自述的特性清单非常「本地优先」：用 pnpm 本地运行、自动 cookie 存储、无登录、无后端、无云服务。 **核心亮点**：它的架构选择本身就是卖点。零后端意味着零运维成本、零数据外泄、零服务器账单，Cookie 直接存本地，这是 local-first 理念在生活小工具上的教科书式落地；冲到 500+ Star 也证明「不需要账号的小工具」在社区始终有号召力。选择困难这个痛点全球通用，但餐饮决策天然带地域属性，语言和店铺数据才是护城河——这个仓库把「壳」开源了，「馅」留给二开者。 - 上手难度：⭐⭐（pnpm 一把梭，前端基础即可改造） - 适用人群：想练手全栈小产品的开发者、本地生活创业者 - 商业方向：复制到其他语言市场（中文「中午吃什么」小程序化）、接入本地餐厅推荐位/团购分成，把决策入口变成引流入口 ## 5. OpenWAM-Official/OpenWAM —— 世界-动作模型的开源模块化探索 [OpenWAM-Official/OpenWAM](https://github.com/OpenWAM-Official/OpenWAM) | ⭐536 | 近 7 天新建 **一句话定位**：官方仓库自述为「An Open, Modular Exploration Towards Systematic World–Action Model」——面向系统化世界-动作模型的开放、模块化研究项目。它切入的是具身智能最前沿也最烧脑的方向：世界模型（World Model），即让模型在「脑内」预测环境如何随动作演化，再据此决策，而不是对每一步都盲目试错。 **核心亮点**：关键词是「Open + Modular」。当前世界模型研究被 DeepMind Genie 系列等大厂项目主导，开源侧长期缺一套可以自由拆装的参考实现；模块化设计意味着研究团队可以替换感知、记忆、策略等组件做消融实验，这对高校实验室和小团队极其友好。一周 500+ Star 说明社区对「世界模型开源化」渴求已久。 - 上手难度：⭐⭐⭐⭐⭐（科研向，需要论文阅读能力和 GPU 资源） - 适用人群：具身智能/机器人方向的研究者、想转行前沿 AI 的工程师 - 商业方向：世界模型是机器人仿真、自动驾驶闭环测试、游戏 NPC 的底层技术，早期参与开源贡献等于提前锁定赛道话语权 ## 6. SMNETSTUDIO/WeChat-AI —— 自托管微信角色扮演对话服务 [SMNETSTUDIO/WeChat-AI](https://github.com/SMNETSTUDIO/WeChat-AI) | ⭐1892 | 近 45 天内新建 **一句话定位**：TypeScript 编写的自托管微信角色扮演对话服务——让你在微信里有一个 24 小时在线、人设稳定的 AI 角色。痛点在于：现成聊天 bot SaaS 要么把你的聊天记录传到别人服务器，要么按条收费，而「陪伴型对话」恰恰是最在意隐私的场景。 **核心亮点**：「自托管」三个字就是全部立场——服务跑在自己服务器上，聊天数据不出门；角色扮演向的设计让它天然适合情感陪伴、虚构角色互动这类场景，近 2000 Star 说明需求真实存在。 **必须泼的冷水**：微信官方对非官方客户端和自动化机器人一贯从严，用小号跑 bot 存在现实的封号风险。这类项目更适合当技术参考（消息协议、会话管理、人设注入的工程实现），商用前务必评估合规边界——陪伴经济是真需求，但通道合规才是天花板。 - 上手难度：⭐⭐⭐（需要一台服务器 + 微信环境，自托管有运维成本） - 适用人群：想研究即时通讯协议与 Agent 集成的开发者 - 商业方向：合规前提下可转向企业微信/自有 App 场景，做私域人设客服与 IP 互动 ## 7. diudiu-tech/delivery-harness —— 给外卖行业写 AI 工作流范本 [diudiu-tech/delivery-harness](https://github.com/diudiu-tech/delivery-harness) | ⭐1769 | 近 45 天内新建 **一句话定位**：Java 编写的 AI Harness 参考实现，面向即时配送（外卖）业务工作流。它解决的痛点是「想落地没范本」：餐饮配送是高频刚需行业，人人都想把 Agent 接进接单、调度、售后客服这些环节，但开源世界几乎找不到贴近真实业务流的工程参考，大家都在拿通用 Demo 硬套。 **核心亮点**：一是「参考实现」定位——它提供的不是玩具，而是一套可以把行业工作流抽象成 Harness 骨架的写法；二是选 Java 生态，直接对接国内存量巨大的 Java 后端团队，落地阻力最小。当 AI 编程工具都挤在「写代码」这个环节时，把 Agent 往传统行业业务流里塞的项目少得多，这才是真正的人口红利区。 - 上手难度：⭐⭐⭐⭐（需要 Java 工程经验 + 对配送业务的理解） - 适用人群：外包/乙方技术团队、餐饮 SaaS 从业者 - 商业方向：给区域配送商和连锁餐饮做私有化 Agent 中台，或按单量抽佣 SaaS 化，客单价远高于通用工具 --- ## 本期横向对比 | 仓库 | 类型 | Star | 上手难度 | 适用场景 | |------|------|------|----------|----------| | openai/NavierStokesAndEuler | AI×数学/形式化验证 | 1777 | ⭐⭐⭐⭐⭐ | 学术研究、可验证 AI | | gongwen-gbt9704-skill | 公文排版 Skill | 475 | ⭐⭐ | 政企文书自动化 | | sumimakito/Mac-Duo | macOS 影像工具 | 523 | ⭐⭐ | 桌面内容创作 | | truanayangi | 本地生活小工具 | 568 | ⭐⭐ | 生活决策、local-first | | OpenWAM-Official/OpenWAM | 世界模型研究 | 536 | ⭐⭐⭐⭐⭐ | 具身智能、机器人仿真 | | SMNETSTUDIO/WeChat-AI | 自托管对话服务 | 1892 | ⭐⭐⭐ | 隐私陪伴 bot（注意合规） | | diudiu-tech/delivery-harness | 行业 AI 工作流 | 1769 | ⭐⭐⭐⭐ | 外卖/配送 Agent 落地 | ## 本期全景图 ```mermaid mindmap root((本期7仓)) 前沿与数学 NavierStokesAndEuler Lean可验证证书 OpenWAM 世界动作模型 delivery-harness 外卖AI工作流 小而美工具 gongwen-gbt9704-skill 公文国标排版 Mac-Duo 双摄玩法上桌面 truanayangi 本地化吃饭决策 自托管 WeChat-AI 隐私陪伴bot ``` ## 本期之最 - **最值得立即尝试：gongwen-gbt9704-skill** —— 装上就能用，痛点真实、效果可验收，体制内用户本周就能省下大量调格式的时间。 - **最有商业潜力：diudiu-tech/delivery-harness** —— 传统行业 + AI 工作流是当前供给最稀缺、客单价最高的赛道，Java 生态又直通国内最大存量技术盘。 - **最被低估：truanayangi** —— 「无账号、无后端、本地跑」的生活决策入口，技术上毫无门槛，恰恰因为太简单没人认真做，复制和本地化的空间巨大。 ## 参考来源 1. [GitHub Search API（本期新星仓库与 Star 数据）](https://api.github.com/search/repositories) — 本文 Star 数与创建时间均取自 2026-09-12 抓取的仓库检索结果 2. [openai/NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) — OpenAI 的 Navier-Stokes 与 Euler 结果 Lean 证书仓库 3. [A misalignment of AI in mathematics（Hacker News）](https://news.ycombinator.com/item?id=49662371) — 本周 HN 首页关于 AI 数学可信度的热议（558 分） 4. [truanayangi-com/truanayangi](https://github.com/truanayangi-com/truanayangi) — 越南语午餐决策工具，本地优先架构特性来自仓库自述 5. [SMNETSTUDIO/WeChat-AI](https://github.com/SMNETSTUDIO/WeChat-AI) — 自托管微信角色扮演对话服务，微信自动化封号风险为作者社区公开讨论的共识 > [!tip] 51学通信知识星球 > **星主：爱卫生**（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。 > **星球定位**：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。 > **当前规模**：5200 篇主题 / 990 个回答，198 元/年。 > **加入福利**：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。 > **AI 加持**：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。