这一期刻意避开两类仓库：动辄十万 Star 的「知名大厂」，以及已经被写烂的 AI 编程 Agent 红海。发掘口径转向近 7 天到近 45 天内新建的新生仓库（Star 数据截至 2026-09-12，来自 GitHub Search API 抓取），它们大多还停在三位数 Star，但方向差异极大：有人用 Lean 给千禧年数学难题交「可验证作业」，有人把党政机关公文国标做成一句话出稿的排版引擎，还有人在给外卖行业写 AI 工作流范本。本期 7 个仓库里 6 个 Star 低于 2000，全部处于「刚出生、增长快、卡位早」阶段，无论是想尝鲜、学习还是二开变现，现在上车成本都最低。
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 数学成果的可信度问题正在被社区严肃讨论。
mizzlelover/gongwen-gbt9704-skill | ⭐475 | 2026-09 新上架
一句话定位：跨平台中文公文排版 Skill，按 GB/T 9704-2012《党政机关公文格式》国标生成可编辑 DOCX。它打的痛点极其真实：公文的字体字号、页边距、红头、版记、成文日期格式全有硬性规定，用 Word 手动调一次至少半小时，改一次版式又半小时。
核心亮点：一是「参数化国标」——把 GB/T 9704-2012 的版式规则写进 Skill，Agent 按规范自动落版；二是输出的是可编辑 DOCX 而非图片或 PDF，公文要逐级走流程改稿，可编辑是刚需；三是跨平台，不绑定某一家办公软件。这是典型的「把领域知识封装成 Agent 技能」的标杆案例，和之前流行过的公文写作风格类 Skill 不同，它解决的是「格式合规」这个可以客观验收的问题。
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 影像创作这个位置。
truanayangi-com/truanayangi | ⭐568 | 近 7 天新建
一句话定位：Trưa Nay Ăn Gì（越南语「今午吃啥」），一个解决全人类共同难题——午饭选择困难——的本地化决策工具。仓库自述的特性清单非常「本地优先」：用 pnpm 本地运行、自动 cookie 存储、无登录、无后端、无云服务。
核心亮点：它的架构选择本身就是卖点。零后端意味着零运维成本、零数据外泄、零服务器账单，Cookie 直接存本地，这是 local-first 理念在生活小工具上的教科书式落地；冲到 500+ Star 也证明「不需要账号的小工具」在社区始终有号召力。选择困难这个痛点全球通用，但餐饮决策天然带地域属性，语言和店铺数据才是护城河——这个仓库把「壳」开源了，「馅」留给二开者。
OpenWAM-Official/OpenWAM | ⭐536 | 近 7 天新建
一句话定位：官方仓库自述为「An Open, Modular Exploration Towards Systematic World–Action Model」——面向系统化世界-动作模型的开放、模块化研究项目。它切入的是具身智能最前沿也最烧脑的方向：世界模型（World Model），即让模型在「脑内」预测环境如何随动作演化，再据此决策，而不是对每一步都盲目试错。
核心亮点：关键词是「Open + Modular」。当前世界模型研究被 DeepMind Genie 系列等大厂项目主导，开源侧长期缺一套可以自由拆装的参考实现；模块化设计意味着研究团队可以替换感知、记忆、策略等组件做消融实验，这对高校实验室和小团队极其友好。一周 500+ Star 说明社区对「世界模型开源化」渴求已久。
SMNETSTUDIO/WeChat-AI | ⭐1892 | 近 45 天内新建
一句话定位：TypeScript 编写的自托管微信角色扮演对话服务——让你在微信里有一个 24 小时在线、人设稳定的 AI 角色。痛点在于：现成聊天 bot SaaS 要么把你的聊天记录传到别人服务器，要么按条收费，而「陪伴型对话」恰恰是最在意隐私的场景。
核心亮点：「自托管」三个字就是全部立场——服务跑在自己服务器上，聊天数据不出门；角色扮演向的设计让它天然适合情感陪伴、虚构角色互动这类场景，近 2000 Star 说明需求真实存在。
必须泼的冷水：微信官方对非官方客户端和自动化机器人一贯从严，用小号跑 bot 存在现实的封号风险。这类项目更适合当技术参考（消息协议、会话管理、人设注入的工程实现），商用前务必评估合规边界——陪伴经济是真需求，但通道合规才是天花板。
diudiu-tech/delivery-harness | ⭐1769 | 近 45 天内新建
一句话定位：Java 编写的 AI Harness 参考实现，面向即时配送（外卖）业务工作流。它解决的痛点是「想落地没范本」：餐饮配送是高频刚需行业，人人都想把 Agent 接进接单、调度、售后客服这些环节，但开源世界几乎找不到贴近真实业务流的工程参考，大家都在拿通用 Demo 硬套。
核心亮点：一是「参考实现」定位——它提供的不是玩具，而是一套可以把行业工作流抽象成 Harness 骨架的写法；二是选 Java 生态，直接对接国内存量巨大的 Java 后端团队，落地阻力最小。当 AI 编程工具都挤在「写代码」这个环节时，把 Agent 往传统行业业务流里塞的项目少得多，这才是真正的人口红利区。
| 仓库 | 类型 | 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 落地 |
mindmap
root((本期7仓))
前沿与数学
NavierStokesAndEuler
Lean可验证证书
OpenWAM
世界动作模型
delivery-harness
外卖AI工作流
小而美工具
gongwen-gbt9704-skill
公文国标排版
Mac-Duo
双摄玩法上桌面
truanayangi
本地化吃饭决策
自托管
WeChat-AI
隐私陪伴bot
[!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 等场景全覆盖。