# AI不写字只拍板：laya七天两万星 本期刻意绕开大榜上的熟脸（public-apis、freeCodeCamp 这类常青树不再占版面），专挖 9 月 24 日系统预抓的 GitHub Search API 数据：近 7 天新星榜 + 近 45 天小而美榜。最大发现是一条全新赛道正在一周之内长出生态——**不生成文字、只做类型化决策的 laya，七天冲到 21,397 星**，端侧运行时、竞品、生态榜单同周跟进；此外还有 OpenAI 把流体方程结果做成机器可验证的 Lean 证书、Rust 写的“边打字边学外语”输入法、多方言语音克隆模型等 7 个仓库。以下星数均为截至今日的 API 抓取值，实时会变。 --- ## 1. NandhaKishorM/laya — 不吐一个字的 AI 决策引擎 **仓库**：[NandhaKishorM/laya](https://github.com/NandhaKishorM/laya) | ⭐ 21,397 | 近 7 天新建，本周新星榜第一 **一句话定位**：大模型时代挤进来一个“反方向”的 AI——它不生成任何文字，只对任意文本直接输出结构化决策：选哪个（choice）、打几分（score）、是或否（yes/no）。 **它解决什么痛点**：今天一个 Agent 走到岔路口，标准做法是唤大模型生成一段“我认为应该选 B，因为……”，再解析这段话拿结论——慢、贵、还偶尔解析失败。laya 用非自回归架构把“判断”从“表达”里拆出来：跳过逐字生成，直接吐出带类型的结果，天然可校验、可入库、可进 if-else。 **生态爆发的速度才是新闻**。同一周内：`mizorewww/laya-mlx`（⭐6,073）把它搬到 Apple MLX，M3 Max 上短决策延迟约 7–14 毫秒；`laya-coreml`（⭐1,403）进一步移植到神经网络引擎，宣称约 5 毫秒；同赛道第二家 `deepopen-com/deepopen`（⭐740）主打多语言版本；`awesome-jev`（⭐785）这类生态榜描述里写着“已收录 896 个相关开源项目”；连 GitHub Next 名下也出现了 `localjev` 仓库。一个品类从 0 到“有榜单、有移植、有竞品”只用了七天。 ```mermaid flowchart TD A["任意文本输入"] --> B["非自回归决策头"] B --> C["choice 类型选择"] B --> D["score 打分"] B --> E["yesno 判断"] C --> F["端侧运行时"] D --> F E --> F F -->|Mac MLX 约7到14ms| G["结构化结果直出"] F -->|Core ML 约5ms| G ``` **上手难度**：⭐⭐ **适用人群**：Agent 开发者、端侧应用作者。**变现思路**：决策引擎是 Agent 的“耗材”——客服路由、风控拦截、工单分派，每个分支判断都是调用；做成行业策略包或按量付费 API，比卖模型本身更有想象空间。 --- ## 2. jev-chat/jev-chat-jarvis — 装在手机上的聊天副驾 **仓库**：[jev-chat/jev-chat-jarvis](https://github.com/jev-chat/jev-chat-jarvis) | ⭐ 5,476 | 近 7 天新建 **一句话定位**：在微信、QQ、X、飞书里帮你“读懂对方、给出候选回复”的手机助手，一键填入输入框——发不发，由你决定。 **它解决什么痛点**：高并发社交是这个时代的真实负担：工作群、客户、家人、暧昧对象同时在线，措辞焦虑消耗的不只是时间。副驾类工具把“想回复”和“发回复”拆开，人保留最终决定权。 **实现上的聪明之处**（据仓库描述）：走“非侵入”路线——只读屏幕，不 hook、不改包。这比改客户端或协议的方案安全得多，也不用碰账号密码；代价是需要读屏权限，隐私边界和平台条款风险要自己掂量：你交出的不只是消息，还有整个屏幕上的上下文。 **上手难度**：⭐⭐ **适用人群**：社交焦虑者、做私域和外贸的销售、需要带新人回客户消息的团队。**变现思路**：订阅制 + 行业话术包（留学顾问版、房产中介版）；也可以反过来做成“沟通教练”，只提示不代写，规避灰色地带。 --- ## 3. openai/NavierStokesAndEuler — AI 做数学，开始交“机器可验证的作业” **仓库**：[openai/NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) | ⭐ 1,991 | 近 45 天新建 **一句话定位**：OpenAI 发布的仓库，附带其 Navier-Stokes 与 Euler 方程相关结果的 **Lean 证明证书**。 **它解决什么痛点**：AI 宣称的数学成果，以前靠论文 PDF 自证——读者要么信，要么花几个月人肉复核。Lean 是交互式定理证明器，证书放进仓库意味着任何人都能让证明助手逐行机检：每一步推导要么成立，要么报错，没有“大概没错”。 **为什么值得盯着**：本周 Hacker News 首页同时挂着一条 615 分热帖——Claude 发现了一个带 CRISPR 类重复结构的新酶系统（据 HN 报道）。两件事并排看，信号很清楚：AI 做科学正在从“嘴上说结果”进入“交可验证作业”的阶段。需要说明：仓库描述只说 accompanying certificates，并未宣称攻克千禧年难题，结论强度以配套论文为准，别被营销号带节奏。 **上手难度**：⭐⭐⭐⭐（Lean 本身就是一道门槛） **适用人群**：形式化验证、数学、AI4Sci 方向的研究者。**变现思路**：证明审计服务、科研机构的 AI 结果验证流水线——”AI 产出，Lean 背书“大概率会成为标配工作流。 --- ## 4. FireRedTeam/FireRedTTS3 — 方言配音，终于不用求人 **仓库**：[FireRedTeam/FireRedTTS3](https://github.com/FireRedTeam/FireRedTTS3) | ⭐ 1,758 | 近 45 天新建 **一句话定位**：开源语音合成模型，主打多语言、**多方言**的声音克隆，外加“指令引导”的音色设计。 **它解决什么痛点**：主流 TTS 一开口就是标准播音腔，而方言配音市场有钱没人——方言配音演员稀缺、计价高，短视频和本地化内容根本消耗不起。 **核心功能拆解**（据仓库描述）：两件事。其一是 Voice Cloning，复刻目标音色；其二是 Instruction-Guided Voice Design——用自然语言描述你要什么样的声音，模型照着设计。后者才是这类新模型的分水岭：从“选一个预设音色”变成“描述一个不存在的声音”。玩法上，你可以让它出一把“带点乡音的温和女声”这类组合需求（示意玩法，具体指令格式以 README 为例）。注意红线：克隆真人声音务必拿到授权，发布内容遵守 AI 生成标识规定。同一周，HN 上 Gemini 3.8 文字转语音也挂上 297 分热议——TTS 赛道正在重新沸腾。 **上手难度**：⭐⭐⭐ **适用人群**：短视频团队、有声书工作室、游戏开发者。**变现思路**：方言有声内容代工是现成的钱——成本降到几分之一后，地方文化数字化项目、方言保护机构都是客户。 --- ## 5. qingjian-team/qingjian — 候选词旁边，躺着一个单词 **仓库**：[qingjian-team/qingjian](https://github.com/qingjian-team/qingjian) | ⭐ 1,665 | 近 45 天新建，Rust 编写 **一句话定位**：青简——用 Rust 写的拼音输入法，特色是候选词旁边多一条**你正在学的那门语言的译词**。 **它解决什么痛点**：背单词 App 的完读率是个笑话，因为背单词违背人性；而打字是人每天重复几千次的动作。把学习塞进打字这个高频动作里，复习成本趋近于零——这是“在用中学”的教科书场景。 **核心拆解**：拼音引擎照常出候选，译词栏并行出现目标语言对照——打个“星期三”，余光扫到 Wednesday，一天下来高频词自然过眼几十遍（示意场景，具体词库行为以仓库为准）。选 Rust 很合理：输入法是每秒都在响应的系统级常驻进程，内存安全和低延迟正是它的主场。这仓库的聪明处在于切口极小——不碰输入法引擎的深水区（云候选、皮肤生态），只加一条译词栏，就做出了差异化。 **上手难度**：⭐⭐ **适用人群**：外语学习者、Rust 爱好者。**变现思路**：考试词库订阅（雅思、日语 N 系列）；或者被语言学习 App 收编成内置输入法——这个功能天然适合联名。 --- ## 6. newliver666/apk-reverse — 把 APK 拆开看的手工作台 **仓库**：[newliver666/apk-reverse](https://github.com/newliver666/apk-reverse) | ⭐ 1,355 | 近 7 天新建 **一句话定位**：面向 Android APK 逆向分析场景的工具仓库，把拆包这件事收拢到一条流水线上。 **它解决什么痛点**：APK 逆向的老问题是工具链散——反编译一套、看清单一套、扒资源又一套，装齐环境半天就没了。仓库描述很克制（只说适用于 Android APK 逆向分析），定位是让分析流程更顺手；具体覆盖哪些环节，以仓库文档为准。 **什么人用它、怎么用得干净**：安全工程师审自家 App 有没有被打包塞料；分析师看恶意样本的行为线索；客户端开发排查兼容性问题、学习优秀实现。红线必须说在前头：逆向仅限自有或已授权的样本，拿去破解、去广告、抄实现，性质就变了。 **上手难度**：⭐⭐⭐ **适用人群**：安全工程师、Android 开发者、样本分析师。**变现思路**：企业侧的自动化审计流水线——APK 上架前自动过一遍逆向检查，这类“上线前体检”服务按次收费，甲方愿意付。 --- ## 7. driceroland/Search — macOS 上一块干净的 WebKit **仓库**：[driceroland/Search](https://github.com/driceroland/Search) | ⭐ 831 | 近 7 天新建 **一句话定位**：一个又小又快的 macOS WebKit 浏览器，出自小团队 Office Commun（署名来自仓库描述）。 **它解决什么痛点**：浏览器行业的军备竞赛打了十几年，结果是每个浏览器都长成全家桶：内置 AI、侧边栏、工作区、加密货币钱包。总有一批用户只想要“地址栏 + 网页”，越少越好。 **核心拆解**：直接基于系统自带的 WebKit 渲染，不走自研内核的重资产路线——这意味着内存占用和体积天然占优，跟随 macOS 系统更新获得引擎修复，维护成本对小团队极其友好。831 星、上线一周就进了新星榜，说明“轻”这个卖点在 2026 年依然锋利。当然，小团队浏览器要长期用，还得看它对隐私声明和更新节奏的交代。 **上手难度**：⭐ **适用人群**：macOS 极简党、被臃肿浏览器逼疯的人。**变现思路**：直接做付费 App 或上架 Setapp——浏览器是少数用户愿意为“顺手”付小钱的品类。 --- ## 本期横向对比 | 仓库 | 类型 | Star | 上手难度 | 适用场景 | |---|---|---|---|---| | [laya](https://github.com/NandhaKishorM/laya) | 端侧决策引擎 | 21,397 | ⭐⭐ | Agent 分支判断、实时风控 | | [jev-chat-jarvis](https://github.com/jev-chat/jev-chat-jarvis) | 聊天副驾 | 5,476 | ⭐⭐ | 多平台回复辅助 | | [NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) | 形式化数学 | 1,991 | ⭐⭐⭐⭐ | AI4Sci、证明验证 | | [FireRedTTS3](https://github.com/FireRedTeam/FireRedTTS3) | 语音合成 | 1,758 | ⭐⭐⭐ | 方言配音、有声内容 | | [qingjian](https://github.com/qingjian-team/qingjian) | 输入法 | 1,665 | ⭐⭐ | 拼音输入 + 外语复习 | | [apk-reverse](https://github.com/newliver666/apk-reverse) | 逆向分析 | 1,355 | ⭐⭐⭐ | 安全审计、样本分析 | | [Search](https://github.com/driceroland/Search) | 浏览器 | 831 | ⭐ | macOS 轻量上网 | ```mermaid mindmap root((本期七仓)) 爆款主菜 laya 决策引擎 laya-mlx 端侧运行时 deepopen 同赛道第二家 AI做科学 NavierStokesAndEuler Lean 机器可验证证书 装上就用 青简输入法 Search 小浏览器 声音与聊天 FireRedTTS3 方言克隆 jev-chat 聊天副驾 安全工具箱 apk-reverse ``` ## 本期之最 - **最值得立即尝试**：[qingjian 青简](https://github.com/qingjian-team/qingjian) —— 学习成本几乎为零，装上之后每天的打字都变成复习。 - **最有商业潜力**：[laya](https://github.com/NandhaKishorM/laya) —— 决策是所有 Agent 的刚需耗材，七天长出完整生态的品类，历史上都跑出了基础设施公司。 - **最被低估**：[NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) —— 不到两千星的仓库，装的却是行业转向“机器可验证科学”的第一批实物证据。 ## 参考来源 1. [NandhaKishorM/laya](https://github.com/NandhaKishorM/laya) — 本周 GitHub 新星榜第一，非自回归类型化决策引擎 2. [mizorewww/laya-mlx](https://github.com/mizorewww/laya-mlx) — Laya 的 MLX 端侧运行时，延迟数据来自其仓库描述 3. [openai/NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler) — OpenAI 发布的 Navier-Stokes 与 Euler 结果 Lean 证书 4. [qingjian-team/qingjian](https://github.com/qingjian-team/qingjian) — Rust 拼音输入法，候选词旁附译词 5. [HN：Claude discovers a novel enzyme system with CRISPR-like repeats](https://news.ycombinator.com/item?id=49820134) — AI 做科学本周热议（615 分），与 Lean 证书趋势并读 6. [FireRedTeam/FireRedTTS3](https://github.com/FireRedTeam/FireRedTTS3) — 多语言多方言克隆与指令式音色设计 （以上仓库数据来自系统 2026-09-24 对 GitHub Search API 的预抓取，星数与状态实时变动；各仓库功能细节均以其 README 为准。） > [!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 等场景全覆盖。