GitHub 热点2026-09-14·阅读 6 分钟

RTX30 获救、Lean 证流体、Agent 技能爆发

本周 GitHub：老显卡焕新、形式化证明与 Agent 技能生态齐飞

本周 GitHub 新建热门仓库合计约 15,000+ stars。最火的是让 RTX 30 系用上 DLSS 帧生成的 dlssg_for_sm86（2,419 stars），OpenAI 发布 Navier-Stokes 的 Lean 证明证书（1,856 stars）。整体趋势清晰：AI Agent '技能'类项目密集出现，内容生成与成本核算工具成新刚需。

本周 GitHub 最火的趋势是：给旧硬件续命、用形式化证明背书数学、以及 AI Agent 技能（skill）生态的集中爆发。15 个热门新仓库合计约 15,000+ stars，其中近半数与"让 AI 帮你干活"直接相关——而且不再只是聊天，而是生成视频、3D、卡片、账单。

dlssg_for_sm86

⭐ 2,419 stars

本周最硬核的项目：为 RTX 30 系 GPU 提供 DLSS 帧生成支持。DLSS 帧生成此前是 40 系（Ada 架构）的专属卖点，30 系用户被官方排除在外。这个项目说明社区不打算接受"硬件代际墙"。对持有 30 系卡、想在老硬件上榨出更多帧率的玩家来说，这是本周最值得点 star 的仓库。快速上手前建议先确认驱动版本兼容性，此类补丁类项目通常对环境敏感。

NavierStokesAndEuler

⭐ 1,856 stars

OpenAI 发布的 Lean 形式化证书，伴随 Navier-Stokes 与 Euler 方程相关结果。为什么重要：AI 公司开始用机器可验证的证明语言发布数学工作，而不是只发论文和博客。这是"AI 产出数学"可信化的基础设施——Lean 证书可以被任何人独立检查。对形式化验证、AI for Math 方向的研究者，这是必读仓库。

NavierStokesAndEuler

Edge0

⭐ 1,600 stars

Python 项目，无描述但 stars 排名第三，说明社区用脚投票的速度快于文档。从组织名 Edge0-AI 推测与边缘 AI 相关，但仓库本身未提供说明——这本身就是个信号：本周"先 star 后看"的情绪很浓。建议观望其 README 补全情况再决定投入。

holo-card-studio

⭐ 1,498 stars

把用户的文字描述或参考图变成可编辑的 Blender 卡片和交互式 Three.js 页面，保留主题、风格、排版。与 dream-loop 一样，它属于新兴的"Agent 技能"类项目：不是独立产品，而是给 Claude Code / Codex 这类编码 Agent 装上的能力包。适合做视觉设计、营销物料快速原型的开发者。

anything2explainer

⭐ 1,168 stars

输入一个主题，输出带 TTS 配音、字幕、章节进度条的讲解视频，黑底动态图形风格，中英文皆可，每一帧都用 Remotion 代码绘制。与 holo-card-studio、dream-loop 放在一起看："Agent skill" 正在成为一个独立的项目品类——把复杂的多工具流水线封装成 Agent 可调用的技能。适合做技术科普、产品演示的团队。

dream-loop

⭐ 967 stars

用 Blender + 图像生成 + 子代理评审（subagent critic）产出 3D 视觉效果的 Agent 技能。亮点在"critic"环节：让另一个 Agent 审查生成结果再迭代，这是多 Agent 协作在创意工作流里的具体落地。与 anything2explainer 相比，它偏 3D 视觉而非叙事视频。

tokentab

⭐ 846 stars

读 Claude Code、Codex、Gemini CLI 的会话日志，按模型、项目、天算出你花了多少钱。为什么此刻出现：编码 Agent 的用量已经大到需要"对账"了。这是 Agent 时代的第一批成本审计工具，适合所有重度使用 CLI Agent 的个人和团队——先搞清楚钱花在哪，再谈优化。

Mac-Duo

⭐ 794 stars

把 iPhone Duo 的效果带到 MacBook 上的 Swift 项目。小而美的交互实验，反映"硬件形态创新反向驱动桌面端模仿"的趣味方向。适合 macOS 开发者学习交互实现。

趋势雷达

把本周榜单摊开看，三条线很清楚：其一，Agent 技能化——holo-card-studio、anything2explainer、dream-loop 都不是独立应用，而是给编码 Agent 装的能力包，说明生态重心正从"造 Agent"转向"给 Agent 造技能"。其二，Agent 经济学萌芽——tokentab 的走红说明用量已到需要审计的规模。其三，可信与续命并存——OpenAI 用 Lean 发证明（可信），社区给 30 系补帧生成（续命），两头都在挑战官方边界。