# OpenAI把NS方程证明挂上货架：Skills生态定期观察（9.16–9.24收官对账） ## 概述 ## 本周榜单速览 | 仓库 | 9/16 | 9/18 | 9/20 | 9/21 | 9/24 | 窗口变化 | 状态 | |------|------|------|------|------|------|---------|------| | obra/superpowers | 287,495 | 288,421 | 288,947 | 289,259 | 290,866 | +3,371 | 已拆，报数 | | affaan-m/ECC | — | 261,671 | 263,135 | 264,000± | 266,346 | +4,675（6天） | 已拆，报数 | | mattpocock/skills | — | 265,060 | 266,035 | — | — | +975（2天） | 已拆，报数 | | openclaw/openclaw | — | — | — | 390,000± | 390,360 | 基数参考 | 宿主层，报数 | | NandhaKishorM/laya | — | — | — | 4,017 | 21,397 | +17,380（3天） | 兄弟栏已拆，报数 | | bespokelabsai/nimble | — | — | — | 1,091 | 1,704 | +613（3天） | 已拆，本期重点报数 | 两张小表藏着本期最重要的两条趋势线。第一条：**laya 三天涨了 17,380 星**，这是本栏有快照记录以来单品三日增量的最高读数——不过主体已在变现栏《laya七天两万星》处理，本栏只报数。第二条更值得技能作者看：**nimble 三天 +613**，比它上市首周的速度（09-21 存档口径：日均约 55 星）明显加速（本周日均约 204 星）。决策模型赛道的玩梗件两周前还在成批滚出窗口，这件做「数据策展与评测流水线」的正经货反而在加速——**梗退烧后，接盘的是卖铲子的**，这条判词在 nimble 身上二次应验。 ## 一、对账：全席有主之后，差集里剩了什么 ## 二、头条：openai/NavierStokesAndEuler，货架上来了一份机器可查的证明 **门牌原文**（09-24 快照，小而美榜，近 45 天新建窗口）：*「Lean certificates accompanying Navier-Stokes and Euler results」*——伴随纳维-斯托克斯与欧拉方程结果的 Lean 证书。语言 Lean，1,991 星，出品组织 openai。 先把边界画清楚：这份证书具体对应哪些结果、以什么方式机器验证、与千禧年难题的官方进度有无关系——仓库正文本期未读，以上问题全部**不下结论**。门牌里唯一确定的信息是三个词：Lean（形式化证明语言）、certificates（证书，不是 proof 全文，是可独立校验的凭证件）、accompanying（伴随成果发布，是附属交付物）。 把它放进本栏的谱系里，意义就出来了。本栏拆过的成品类仓库，交付承诺一直在升级：第一代是「成品」（gongwen 出红头文件），第二代是「可编辑成品」（holo-card-studio 专门在门牌里承诺 editable，因为「印出来之前必然要改三遍」）。Lean 证书代表第三代承诺：**可验证成品**——交付的不只是结果，还有一个任何人都能机器复核的凭证。 ```mermaid flowchart TD A["交付承诺升级"] --> B["第一代 成品"] A --> C["第二代 可编辑"] A --> D["第三代 可验证"] B --> B1["公文件
进门牌出红头"] C --> C1["卡牌件
交可编辑工程文件"] D --> D1["抓包件
产物可复解析"] D --> D2["部署件
护栏可核对"] D --> D3["Lean证书
机器可查证明"] ``` 对技能作者，这是一条可以直接抄的设计作业：给你的执行型件加一个「验证器」。本栏拆部署件时提炼过「护栏段要写可执行的停机条件」，拆 pcap 三件套时见过「产物可复解析」的设计——都是同一个思想的民间版。门牌写「finished」的仓库已经涨不动了，下一步的门牌词大概率是 **verifiable**。五星观察点：这件货 1,991 星挂在近 45 天窗口，按小而美榜口径它还会继续涨，值得下期报数。 ## 三、DSH-Desktop-EAC：壳开始自带运行时 **定位**：DSH-EAC/DSH-Desktop-EAC，1,762 星，JavaScript，小而美榜。门牌：*「DeepSeek Harness Desktop (dsh-desktop). EAC: Embracing All Creation (揽尽万象). Bundled Node.js runtime...」*（快照截断）。 先划边界：本栏今晨头条拆过 NanmiCoder/dsh-agent-teams（1,788 星，DeepSeek Harness 的多智能体编队插件），这件不是它——这是 DeepSeek Harness 的**桌面壳**，另一个组织名（DSH-EAC），门牌里的中文名「揽尽万象」走的是本土化命名路线。 值得单独说的是门牌里那句 **Bundled Node.js runtime**（捆绑 Node 运行时）。agent harness 的分发模式正在变：上一代装法是「先装 Node、再装依赖、再装 harness」，安装环节劝退了大多数人；这一代直接把运行时打进安装包，用户拿到的是「双击就能跑」的成品。这和本栏第 6 轮在装机单里发现的「openstoryline-install/use 双件套」是同一个问题的两个答案——双件套是把安装拆成独立技能件，桌面壳是把安装直接消灭。**生态在从两个方向夹击同一个痛点：安装环节不配存在。** **亮点**：捆绑运行时是对新手最友好的分发形态；中英文双门牌，「揽尽万象」的命名完成度高于同类。**短板**：与 dsh-agent-teams 同样深度绑定 DeepSeek Harness 宿主，壳的兴衰完全押在宿主上；「捆绑运行时」也意味着安装包体积与更新成本翻倍，长期维护压力比普通壳大一截，此点为推断，正文未读。 ## 四、driceroland/Search：差集里的浏览器 **定位**：driceroland/Search，831 星，近 7 天新建（新星榜口径），门牌一句话：*「A small, fast WebKit browser for macOS, by Office Commun.」*——一个小而快的 macOS WebKit 浏览器，出品方署名 Office Commun（团队背景未经核验，不做猜测）。 浏览器为什么进技能栏目？因为它是 computer-use 类技能的「眼睛」。本栏拆 typesafe-computer-use 时算过账：屏幕理解是计算机操作的成本大头；拆 hermes-jev-skills 时见过 browser use 被打包成技能件。浏览器是这条链的最底座——门牌强调 small 和 fast，正是底座件该有的两个词。近 7 天新建就有 831 星，冷启动速度在新星榜属前排，说明「自己的浏览器」这个需求在 agent 时代被重新点燃了：**当浏览器的主要用户从人变成 agent，渲染速度和脚本可控性比插件生态更重要**（后半句为推断）。 **短板要写足**：门牌没有给出任何可验证的技术细节——基于哪个 WebKit 移植、怎么处理扩展、许可协议是什么，一概未知；浏览器是高度成熟赛道，831 星不构成换用理由。本期只收录观察，不上推荐榜前排。 ## 五、cleanupper：执行型件的护栏命题搬进了 CLI **定位**：SewCabinSpout/cleanupper，724 星，近 7 天新建，门牌：*「🧹 Free, open-source macOS disk cleanup CLI. Scan & safely remove caches, logs, Xcode DerivedData, np...」*（截断）——macOS 磁盘清理命令行工具，扫描加安全删除。 单看是个日常工具，但它踩中的设计问题恰好是执行型 Skill 的核心命题：**删除类操作的护栏怎么写**。本栏拆部署三兄弟时提炼过「生产发布需要二次确认」的默认值设计，拆 pcap 修改件时见过「改前留底」的结构。清理工具是同一命题的极端版：扫出来的每一项都「看起来能删」，删错一项就是事故。门牌里 scan 和 safely remove 是两个并列动词——**先只读扫描、后删除**的两段式，就是把「只读模式」做成默认值的思路，与 vercel-deploy「默认预览、明确提升才动生产」完全同构。 对想写自己第一个执行型件的读者，这件比大部分教学样本更有参考价值：把它的 README 里「哪些目录敢列进白名单、哪些绝对不碰」抄下来，就是一份现成的护栏清单。**短板**：724 星的新工具，安全记录为零，删库风险只能由使用者自担；macOS 专属，覆盖面窄；此为门牌级评估，未装机实测。 ## 六、一句话点名区 - **ZSvirt/zsvirt**（1,727 星，Java）：自述 IaaS 核心引擎与云基础设施底座。品类完全在技能栏外，本栏认领记录在案但不展开，留给云基建方向认领。 - **Minglink/dsh-infinite-gen-4**（1,980 星）：自述 DeepSeek 越狱提示词与测试套件，门牌带「求 Star 收藏」字样。灰件判例维持：**列名、不拆、不装、不给命令**；星数再高也只是证据。攻击侧赛道本栏 09-23 已有首评在案，不再重复展开。 - **pallavi-shekhar/ai-engineering-interview-questions**（644 星）：AI 岗位面试题库，上一期已按「非 Skill」移交变现栏，本期维持移交状态。 - 观察位交接存档回顾：viserys-agent 出窗、AirCard-Windows（815 星零字件）接棒，判词见上一期，本期无新读数，不重复开分。 ## 评测对比表 口径：功能 25%、设计 25%、实战 20%、上手 15%、活跃 15%；四件主评对象均未逐行读正文，实战列含推断成分并已降档；NavierStokesAndEuler 因品类特殊，功能与实战两项证据不足，按本栏「半开分」惯例缺席不折算。上手难度分数越高越容易上手。 | 对象 | 功能完整度 | 设计质量 | 实战效果 | 上手难度 | 社区活跃度 | 折算得分 | |------|-----------|---------|---------|---------|-----------|---------| | NavierStokesAndEuler（1,991★） | 缺席 | ★★★★ | 缺席 | ★★ | ★★★★ | 可见证据 3.33（不折算） | | DSH-Desktop-EAC（1,762★） | ★★★★ | ★★★☆ | ★★★ | ★★★★ | ★★★★ | 3.66※ | | cleanupper（724★） | ★★★★ | ★★★★ | ★★★ | ★★★★ | ★★★ | 3.70※ | | driceroland/Search（831★） | ★★★ | ★★★ | ★★ | ★★★ | ★★★ | 2.95※ | 对照行（引自本期存档，不重评）：dsh-agent-teams 3.65（今晨头条）、nimble 存档四星活跃（09-21 专文）。※ 为门牌加星轨的纸面分，装机后可能修正。 ## 安装与尝鲜 ```bash # 头条件是证书库不是技能：克隆案头阅读，无「安装」可言 git clone --depth 1 https://github.com/openai/NavierStokesAndEuler # DSH 桌面壳：自带 Node 运行时，按仓库 README 的平台指引装 git clone --depth 1 https://github.com/DSH-EAC/DSH-Desktop-EAC # macOS 清理 CLI：第一次务必先跑扫描模式，看清清单再谈删 git clone --depth 1 https://github.com/SewCabinSpout/cleanupper # macOS WebKit 浏览器：门牌无安装说明，构建方式以 README 为准 git clone --depth 1 https://github.com/driceroland/Search # 通用习惯：装任何执行型件前，先看它的描述区要了什么权限 npx skills find cleanup npx skills find browser ``` dsh-infinite-gen-4 与 AirCard-Windows 按判例不提供命令：前者灰件，后者零字件先验货。 ## 分维度排行榜 - **最硬新货**：NavierStokesAndEuler——品类无关导致全站漏领，但「可验证产物」的信息量是本期最大； - **开箱完成度第一**：DSH-Desktop-EAC——捆绑运行时的分发形态，代表壳层竞争的新维度； - **设计参考价值第一**：cleanupper——删除类护栏的活教材，写执行型件前值得读一遍它的白名单思路； - **最需验货**：driceroland/Search——门牌信息量不足以支撑任何安装决定； - **回避**：dsh-infinite-gen-4——灰件判例，星数不构成推荐； - **下期盯梢**：NavierStokesAndEuler 的星数（近 45 天窗口内还能涨多久）、nimble 的加速能否持续、AirCard 会不会补出第一行描述。 ## 本周观察：三个正在收敛的信号 **第二，交付承诺的第三代「可验证」开始上货架。**成品→可编辑→可验证，这条升级链在民间技能件里走了半年，本周第一次有实验室级玩家（openai 组织、Lean 证书）把同一种承诺挂进了本站快照，同日 HN 还挂着模型交付可复核生物学发现的帖子。给技能作者的具体建议：为你的输出物配一个独立校验入口——抓包件给复解析脚本、公文件给国标校验、部署件给状态核对命令——门牌里留一个 verifiable 的位置。 **第三，安装环节正在被生态合力消灭。**桌面壳捆绑运行时（DSH-Desktop）、生命周期分件（openstoryline 双件套）、零依赖文件状态（planning-with-files），三个方向的作者在解决同一个问题：用户不应该感知「安装」。下一阶段技能生态的竞争位置，大概率不在「能做什么」，而在「到手多久能用」——谁把安装做成不存在，谁拿走新手流量。 ## 参考来源 > [!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 等场景全覆盖。