GitHub 趋势洞察 2026-09-09，让 agent 闭嘴的技能登基，OpenAI 连千禧难题都形式化了

2026 年 9 月 9 日 · 本期共收录 25 个热门开源项目

今日焦点，让 Agent 闭嘴，成了本月最大的爆发

讲真，这个数字值得先念一遍，+4,624。i-have-adhd，那个教 coding Agent 别把答案埋在废话里的技能包，今天以追踪以来数一数二的单日增速登基，总星 33,443。王座车轮战第十天，第九位王者，第一个纯人文向的冠军。

昨天的判断今天就兑现了。输出体验是新战场，hyperframes 管眼睛，i-have-adhd 管脑子，当时说这话的时候它还在第 22 位。

第二件事在数学的高处。

OpenAI 的第二个 Lean 仓库 NavierStokesAndEuler 进场，把有限时间爆破的两篇论文做成了机器可检查的证明证书，对应的是 Clay 研究所 Navier-Stokes 千禧问题的两个官方备择陈述。加上上周的费马大定理仓库，形式化数学在 OpenAI 手里已经不是彩蛋是系列。

标准分岔也进入第二日，继任者 openai/plugins 自己上榜了，技能在新体系里降级为插件包的一个子目录。

中文新锐也来了一个狠角色，爪爪，把已登录的 Chrome 当成可编程计算机的浏览器 Agent。

少废话，大问题，都占了。

榜单前五深度解读

1. ayghri/i-have-adhd · Python · +4,624 · 33,443

登基日。十条规则的内核昨天拆过，下一条动作放开头，多步任务编号，分钟级估时，列表上限五条，无前言无总结无结尾语，方法改编自成人 ADHD 临床工具书，无需诊断人人可用。

今天补的是爆发结构。从第 22 位到登基只用了一天，日增翻了十一倍，这种曲线只在真实痛点被精准命中时出现。fork 数 1,976 对 33,443，装机比健康。坦白讲，一个不写一行功能代码、只改输出格式的技能拿下了全月最大爆发，这个信号比爆发本身重要，Agent 的产出过剩已经是公害，谁能治废话谁拿王座。

2. openai/NavierStokesAndEuler · Lean · +685 · 1,423

OpenAI 的第二个形式化数学仓库，Lean 4 写的证明证书，背书两篇论文，全空间和环面上的 Navier-Stokes 有限时间爆破，以及无粘 Euler 方程的有限时间奇点构造。Euler 那条构造了光滑紧支撑无散度的初速度，解在有限时间出现奇点，速度的 C1 范数无界，涡量 L∞ 范数的时间积分发散。

关键在定位。Navier-Stokes 那两条对应 Clay 研究所千禧问题官方描述里的备择 C 和 D，也就是爆破陈述。形式化的意义是把爆破论证从同行评审的信任升级为证明检查器的机械验证，仓库里还带了 Comparator 独立核验的挑战说明，Apache 2.0 开源。你想想看，费马大定理加千禧难题备择，两周两个仓库，OpenAI 在把形式化证书做成模型产出的标准配件，以后重大数学声明的交付格式可能就是论文加 Lean 仓库的双件套。

3. openai/plugins · JavaScript · +505 · 6,096

分岔的另一半自己上榜了。plugins 的结构是每个插件一个目录，必须带 .codex-plugin 下的 plugin.json 清单，可选搭配 Skills 子目录、MCP 配置、应用面、Agent、命令和钩子。注意这个从属关系，技能成了插件包里的一个可选子目录，能力的分发单位从文件夹升级为带生命周期和多个挂载面的容器。

首发阵容有味道，figma 的设计系统规则、notion 的规划研究套件、build-ios-apps 和 build-macos-apps 的全流程开发包、expo、netlify、remotion、google-slides，每一家都是能独当一面的技能集。市场走发现制，默认 marketplace 指向标准插件目录，API key 登录用户有独立市场。老实讲，昨天说押中立标准，今天看 OpenAI 的插件容器比想象中更完整，技能只是它的一个切面，这场格式之争的天平比昨天更倾斜了。

4. Player-YN/PawWork_ZhuaZhua · JavaScript · +390 · 2,314

爪爪，中文开发者的 Chrome 浏览器 Agent，README 的宣言很有性格，不是选择组件，也不是应用店应用，把已经登录的 Chrome 当成一台可编程计算机，油猴脚本能干的事都在射程内。管线是侧边栏到服务工作线程到屏外会话工作区再到 AI SDK 的工具循环 Agent。

工具设计见功力。action 工具先给活动标签页拍快照，再用带代际的引用改 DOM，防止页面变了改错对象。run 工具在沙箱里跑访客 JS，配一个明确的纪律，sys 不是模型工具，登录态、cookie、验证码的流转只能通过页面身份的 fetch 走，模型永远摸不到凭证。产出物是在会话里维护的 Univer 表格和文档，拿走就是可编辑的办公文件。自带 key 无服务器，只以解包扩展分发不上应用店。我一直觉得浏览器 Agent 这条线，海外在卷基础设施，中文开发者在卷场景直给，爪爪这个把已登录会话当资产的思路，恰恰是海外项目最不敢碰也最实用的部分。

5. liquidslr/system-design-notes · - · +910 · 17,706

系统设计面试的学习笔记，覆盖 Alex Xu 那两卷书的全量二十八章，从限流器、一致性哈希、短链、爬虫到酒店预订、支付系统、数字钱包和证券交易所，每章一个目录配索引，另有 pagefy.io 的网页阅读器。

真正值钱的是附录，每章配了真实世界的参考链接，Amazon Dynamo 和 BigTable 的原始论文，Discord 和 Netflix 的工程博客，Twitter Snowflake 这类工业实现。17,706 颗星和 3,368 个 fork 说明面试刚需永不过时。其实吧，把付费书浓缩成免费笔记这件事的合法性一直有争议，但配合原始论文读，它就是一份相当合格的系统设计入门地图。

趋势分析

输出体验的爆发周期开始了

i-have-adhd 的一天十一倍和 hyperframes 的两天登基，把输出体验这条线从判断变成了现象。Agent 的产出过剩在两端同时引爆治理需求，内容端要压缩要可信，呈现端要短要美要可读。判断是，下一个爆点在输出审计，一个能自动检查 Agent 回复里废话占比、结构可读性、动作前置率的技能，和 i-have-adhd 构成治理闭环，谁做谁接下一棒。说真的，这块画布现在还是空的。

形式化证书成为厂商的信任军备

OpenAI 两周两个 Lean 仓库，从费马大定理到千禧难题备择，节奏是产品化的节奏。结合 PRAXIST 的可执行研究和 archify 的验证链，整条可信产出的栈已经从代码烧到图表烧到数学证明的顶端。判断是，数学证书会成为前沿模型发布会的标配展品，Lean 人才的薪资曲线会先于市场认知陡峭化，computational proof 这门手艺值得纳入个人技能栈。怎么说呢，学证明检查器的回报周期，比追新模型短得多。

图示内战首局分出胜负

archify 连续两日缺席，diagram-design 以 36,228 颗星稳坐第二并拉大身位，38 种图型加无 Mermaid 垃圾的审美宣言赢了第一回合。回头看这场内战，archify 的验证链是工程护城河，diagram-design 的编辑审美是传播护城河，平台期里后者更值钱。判断是，archify 若两周内不拿出体验层的翻盘动作，图示品类将按审美路线定型，验证链会沉为行业标配而非竞争差异。

值得关注的潜力项目

pascalorg/editor · TypeScript · +442 · 22,761

创建和分享三维建筑项目的编辑器，22,761 颗星的基本盘。空间计算这条线从 gods-eye-view 的卫星视角到建筑编辑器，三维原生的创作工具在悄悄聚拢，值得盯它和 hyperframes 们的组合可能。

jonnyoo/glance · Swift · +479 · 504

无描述无语言细节的 Swift 新项目，一天 +479 排到第 17，神秘感拉满。504 颗星的体量配上这个爬升速度，要么是有影响力的作者新作，要么踩中了未公开的需求，先挂观察名单等它自曝。

experientiallabs/experiential · Python · +506 · 3,586

世界模型当 harness 用的环境模拟器，连续第四天在榜爬升。多智能体环境的供给端持续走强，它和 Farama 系的关系值得单独拆一次，今天先记账。

完整榜单

写在最后

三点收束。

第一，治废话是门大生意。i-have-adhd 证明改输出格式就能拿全月最大爆发，产品经理们都该看看自己的 Agent 产出，哪里还有 Great question 和 Hope this helps，哪里就是下一个爆款的画布。

第二，形式化证书是前沿厂商的军备竞赛。论文加 Lean 仓库的双件套交付会成为标配，个人开发者跟进的成本不高，学 Lean 的窗口正开着。

第三，中文场景派正在找到自己的打法。爪爪把已登录浏览器当资产的思路，绕开了海外项目在凭证问题上的洁癖，场景直给是这个流派的武器。

一个总判断。王座车轮战第十天，人文向技能登基，形式化数学系列化，标准分岔定型，三条线同时指向同一个终局判断，Agent 市场的竞争从能力转向了信任和体验，谁产出可信谁呈现舒服谁赢。给读者的行动指引，今天就装 i-have-adhd，你值得一个不跟你客套的 Agent。