# 7个新面孔：从剪辑到数学证明 ## 概述 这一轮我把镜头从熟脸榜撤开，对准了两条最容易被大榜单淹没的新仓库流水线：一条是**创作与表达线**——开源版剪映、对话式语言学习、雕版风格的复古排版；另一条是**地基与硬核线**——给 AI Agent 用的 Rust 无头浏览器、DeepSeek 官方刚开源的稀疏注意力内核、CPU 上并行跑千级物理仿真的批处理库，以及 OpenAI 挂出的流体方程 Lean 形式化证书。七个仓库全部是本周或近 45 天新建，Star 全部低于 2000，与此前各轮已拆项目零重叠。文中 Star 数与仓库描述均取自 2026-09-15 的 GitHub API 快照，细节以仓库当前状态为准。 ## 1. jub0t/Concat — 把剪映的开源替身造出来 **仓库**：[jub0t/Concat](https://github.com/jub0t/Concat) | ⭐1709（09-15 快照）| 近 45 天新建，Rust 一句话定位：官方自述是「Free & Open-Source CapCut replacement」——一个免费开源的 CapCut（剪映国际版）替代品。 它戳中的痛点很直接：剪映和 CapCut 这两年在服务条款、会员订阅上的动作不断，让「录完素材想剪个片子」这件事平白多了一层顾虑。剪辑是刚需，但用户对「我的素材会不会哪天变成别人的训练数据」越来越敏感，本地化、无订阅的剪辑器需求一直在涨，真正能打的开源空位却没坐满。 从仓库自述看，Concat 用 Rust 写就，主打「免费 + 开源」这两个词，正面卡位这个空位。需要提醒的是：它还很年轻（创建不足 45 天），剪辑器是软件工程里出了名的深水区，时间线交互、编解码、特效渲染每一项都是硬骨头，当前功能完成度请以仓库实际 release 为准，别拿它直接接生产活。 上手难度：⭐⭐ 适用人群：受够了订阅制的视频创作者、想给社区补一块拼图的 Rust 开发者。商业思路也清晰——参考开源剪辑生态的惯常路径，托管版、模板市场、团队协作层都是现成的变现缝。 ## 2. Chuloo/mural — 一款「你最终会删掉」的语言学习 App **仓库**：[Chuloo/mural](https://github.com/Chuloo/mural) | ⭐783（09-15 快照）| 近 7 天新建，iOS 原生 一句话定位：官方门牌写得相当有性格——「The language app you eventually delete」，一款通过真实对话学语言的原生 iPhone 应用。 多数语言学习产品的商业模式建立在「让你学得久」上：连续打卡、每日提醒、进度焦虑，用户留存是收入。mural 的自述反着来：它的目标是让你通过对话真的学会，然后不再需要它。这个「用完即走」的姿态在工具类产品里非常少见，也让它在本周新星榜里显得格外醒目。 从描述看它是原生 iOS 应用而非套壳网页，主战场是「对话」这个语言习得里最难被表格和卡片替代的环节。作为不到一周的新仓库，功能细节和后端依赖仓库里没有铺开，编译体验请以 README 为准。 上手难度：⭐⭐⭐（需要苹果设备，可能要自行编译） 适用人群：正在苦于开口说的语言学习者，以及研究「对话式学习」交互的独立开发者。语言学习是订阅制付费意愿最强的品类之一，一个开源原生的对话学习客户端，往私有化部署、小语种定制方向二开都有空间。 ## 3. Foadsf/vintage-latex — 把论文排回一百年前的样子 **仓库**：[Foadsf/vintage-latex](https://github.com/Foadsf/vintage-latex) | ⭐372（09-15 快照）| 近 7 天新建，LuaLaTeX/MetaPost 一句话定位：二十个 LuaLaTeX 与 MetaPost 范例，复刻老式科学论文的雕版美学——雕版插图、老式字体、经典版式。 它解决的痛点不是「排版难」，而是「排版平」。LaTeX 出来的论文千篇一律的现代感，而翻开十九世纪末到二十世纪初的科学文献，雕版风格的力学插图、衬线密排的正文、讲究的图版编号，自带一种博物馆气质。vintage-latex 把这套审美拆成了可复用的范例，其中插图部分用到了 MetaPost 生态里的 fiziko——一个专门模拟老式物理教材线条图（斜面、滑轮、受力箭头）风格的宏包，从仓库描述看，两者组合可以批量产出「古董教科书」质感的版面。 这类仓库的 Star 通常涨不快，但使用寿命极长：一份好范例会被塞进书签里十年。 上手难度：⭐⭐⭐（需要 LaTeX 基础） 适用人群：论文作者、学术书籍排版者、独立杂志和科普创作者。商业上，学术出版排版服务、期刊定制模板、复古风教辅设计都是直接对口的方向。 ## 4. kevinzakka/mjbatch — 在 CPU 上并行跑一千个物理世界 **仓库**：[kevinzakka/mjbatch](https://github.com/kevinzakka/mjbatch) | ⭐481（09-15 快照）| 近 7 天新建，Python 一句话定位：一个 Python 库，用于在 CPU 上并行运行数千个 MuJoCo 仿真。 MuJoCo 是机器人与强化学习领域最主流的物理仿真引擎之一，而具身智能这波浪潮把「仿真数据产量」变成了新的瓶颈：训练一个操作策略动辄需要海量并行环境。这笔账通常的解法是堆 GPU，但 mjbatch 给出了另一条路——把批量并行这件事在 CPU 上做透。对没有高端显卡、又要跑大规模 rollouts 的实验室和个人研究者来说，这等于把仿真数据工厂的门槛拉低了一个数量级。 它是本周榜单里最「幕后」的一个：不发演示视频、不出圈，但每一个做机器人学习的人都知道上千个并行环境意味着什么。 上手难度：⭐⭐（会 Python 即可） 适用人群：强化学习研究者、具身智能团队、仿真数据生产管线工程师。商业方向也很实：仿真数据生成服务、机器人公司的离线训练基建，都是现在真金白银在花钱的环节。 ## 5. lexmount/moli — 给 AI Agent 配一把轻量的 Rust 浏览器 **仓库**：[lexmount/moli](https://github.com/lexmount/moli) | ⭐1994（09-15 快照）| 近 45 天新建，Rust 一句话定位：官方自述「Best headless browser for AI agents. Lite, Fast, High-Compatibility」——为 AI Agent 打造的无头浏览器，轻量、快速、高兼容。 Agent 想真正干活，绕不开浏览器：查资料、填表单、截图验证。但现有主力方案基本是 Playwright、Puppetpper 这一挂 Node 系工具，AI Agent 每次调用都要拖起一个完整的浏览器进程，内存和启动开销都不小。Rust 生态里顺手的无头浏览器件一直不多，moli 就卡在这个空位上：用 Rust 重做一层轻量高兼容的 headless 方案，专门面向 Agent 的高频调用场景优化。 不到 45 天冲到近 2000 星，说明「Agent 基建的 Rust 化」是真需求。当然「High-Compatibility」目前是仓库自述，对各种重前端页面的渲染保真度，建议拿自己的目标站点实测后再下结论。 上手难度：⭐⭐ 适用人群：Agent 框架开发者、爬虫与 RPA 工程师、自托管自动化玩家。这是本期商业潜力最顺的一件：Agent 云、自动化 SaaS、企业 RPA 方案，底层都缺一件可控的国产化/自托管浏览器，卡住基建位就是卡住生态位。 ## 6. deepseek-ai/DeepSelect — 稀疏注意力的 TopK 内核开源了 **仓库**：[deepseek-ai/DeepSelect](https://github.com/deepseek-ai/DeepSelect) | ⭐342（09-15 快照）| 近 7 天新建，DeepSeek 官方 一句话定位：DeepSeek 官方开源的 TopK 内核，服务于 DeepSeek Sparse Attention（DSA）与采样器。 DSA（DeepSeek Sparse Attention）是 DeepSeek 在 V3.2 实验版中引入的稀疏注意力机制，思路是让每个 query 只聚焦最相关的少量 token，从而把长文本推理的开销打下来。这套机制真正吃性能的地方在 TopK 选择这一步——要从海量候选里又快又准地挑出那几个 token，靠普通实现会把省下来的算力再吐回去。DeepSelect 开源的就是这把「挑得快」的刀：官方实现、官方调优，covers DSA 与采样器的 TopK 计算。 Star 只有三百多，但它可能是本周含金量被数字低估最严重的仓库——推理内核类的仓库从来不靠 Star 说话，靠的是被多少推理框架集成。 上手难度：⭐⭐⭐⭐（CUDA 内核，研究者与工程向） 适用人群：推理引擎开发者、做长上下文优化的工程团队、算力成本敏感的 AI 应用方。二开方向：给国产推理框架做适配、在自有硬件上重写内核，都是明确有预算的技术活。 ## 7. openai/NavierStokesAndEuler — 给流体方程附上一张机器可查的证书 **仓库**：[openai/NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) | ⭐1891（09-15 快照）| 近 7 天新建，Lean 一句话定位：官方自述很克制——「Lean certificates accompanying Navier-Stokes and Euler results」，随 Navier-Stokes 与 Euler 结果附带的形式化证书。 先说清楚它不是什么：它不是「OpenAI 解出了 Navier-Stokes」。Navier-Stokes 方程解的存在性与光滑性是千禧年七大数学难题之一，至今没有公认解答。这个仓库本体是**证书**：把某种数学结果的证明过程翻译成 Lean 这种定理证明语言，交给机器逐行校验——数学审稿人可能看走眼，编译器不会。从命名看，结果覆盖 Navier-Stokes 与 Euler（欧拉方程）两类流体方程；至于结果本身的分量、是否对应千禧年难题的实质进展，仓库描述没有给出，相关论文的同行评议状态也待确认，这是本周最需要「让子弹飞一会儿」的仓库。 但方向本身值得 star：当前沿数学结果开始附带机器可验证证书，「AI 做研究」就从嘴上功夫变成了可审计的工程。 上手难度：⭐⭐⭐⭐⭐（Lean 与流体数学双门槛） 适用人群：形式化数学社区、AI for Math 研究者、对可验证计算感兴趣的工程团队。形式化验证咨询、金融与安全关键系统的定理证明服务，是这条线通往商业的窄门。 ## 本期横向对比 | 仓库 | 类型 | Star（09-15 快照） | 新建窗口 | 上手难度 | 适用场景 | |---|---|---|---|---|---| | jub0t/Concat | 视频剪辑 | 1709 | 近 45 天 | ⭐⭐ | 本地免费剪片 | | Chuloo/mural | 语言学习 | 783 | 近 7 天 | ⭐⭐⭐ | 对话式练口语 | | Foadsf/vintage-latex | 排版美学 | 372 | 近 7 天 | ⭐⭐⭐ | 复古论文/书刊排版 | | kevinzakka/mjbatch | 仿真工具 | 481 | 近 7 天 | ⭐⭐ | 并行仿真数据生产 | | lexmount/moli | Agent 基建 | 1994 | 近 45 天 | ⭐⭐ | Agent 浏览器调用 | | deepseek-ai/DeepSelect | 推理内核 | 342 | 近 7 天 | ⭐⭐⭐⭐ | 长文本推理加速 | | openai/NavierStokesAndEuler | 形式化数学 | 1891 | 近 7 天 | ⭐⭐⭐⭐⭐ | 机器可验证数学结果 | ## 本期仓库地图 ```mermaid mindmap root((本期7个新仓库)) 创作与表达 Concat 开源剪辑 mural 对话学语言 vintage-latex 复古排版 地基与硬核 moli 无头浏览器 mjbatch 并行仿真 DeepSelect 稀疏内核 NavierStokes Lean证书 ``` ## 本期之最 - **最值得立即尝试**：[jub0t/Concat](https://github.com/jub0t/Concat)——剪辑是这七件里离普通人最近的需求，装上就能检验它配不配当剪映替身。 - **最有商业潜力**：[lexmount/moli](https://github.com/lexmount/moli)——Agent 浪潮里，卖水的不如卖管子的，浏览器就是那根管子。 - **最被低估**：[Foadsf/vintage-latex](https://github.com/Foadsf/vintage-latex)——372 星的排版美学库没有爆点，但会被书签收藏十年。 ## 参考来源 > [!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 等场景全覆盖。