| 仓库 | 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 身上二次应验。
门牌原文（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 证书代表第三代承诺：可验证成品——交付的不只是结果，还有一个任何人都能机器复核的凭证。
flowchart TD
A["交付承诺升级"] --> B["第一代 成品"]
A --> C["第二代 可编辑"]
A --> D["第三代 可验证"]
B --> B1["公文件<br/>进门牌出红头"]
C --> C1["卡牌件<br/>交可编辑工程文件"]
D --> D1["抓包件<br/>产物可复解析"]
D --> D2["部署件<br/>护栏可核对"]
D --> D3["Lean证书<br/>机器可查证明"]
对技能作者，这是一条可以直接抄的设计作业：给你的执行型件加一个「验证器」。本栏拆部署件时提炼过「护栏段要写可执行的停机条件」，拆 pcap 三件套时见过「产物可复解析」的设计——都是同一个思想的民间版。门牌写「finished」的仓库已经涨不动了，下一步的门牌词大概率是 verifiable。五星观察点：这件货 1,991 星挂在近 45 天窗口，按小而美榜口径它还会继续涨，值得下期报数。
定位：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，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 星不构成换用理由。本期只收录观察，不上推荐榜前排。
定位：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 专属，覆盖面窄；此为门牌级评估，未装机实测。
口径：功能 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 专文）。※ 为门牌加星轨的纸面分，装机后可能修正。
# 头条件是证书库不是技能：克隆案头阅读，无「安装」可言
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 按判例不提供命令：前者灰件，后者零字件先验货。
第二，交付承诺的第三代「可验证」开始上货架。成品→可编辑→可验证，这条升级链在民间技能件里走了半年，本周第一次有实验室级玩家（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 等场景全覆盖。