GITHUB · TRENDING

🔥 开源热榜

2026-09-06 · 星期日 · 策略:本周新星
🎯 今日趋势
今日热门可分为两类:一边是让 AI 变得更可靠的工具,如电商 Agent、防幻觉验证、Lean 定理证明;另一边是把创作变好玩的生态,如 M3 草图转提示词、游戏学英语。共同信号是,开发者不再满足于“AI 聊天”,而是追求能被校验、落地、或突破边界的具体能力。
项目数 8
总 stars 11,091
Python 3
TypeScript 2
JavaScript 1
Lean 1
项目榜单 · Top 8
1
m3e-canvas lnkiai
TypeScript ⭐ 3,691 🍴 308
浏览器里画 Material 3 界面,再变成 AI 编码提示词
🔍 这个项目是做什么的
一个基于浏览器的原型设计工具,让你用拖拽/手绘方式快速画出 Material 3 Expressive 风格界面,然后一键导出为适合 vibe-coding 的文本提示词。它解决的是“设计稿到 AI 提示词”之间的转换问题,避免你用自然语言来描述视觉细节。核心亮点是浏览器中即画即所得,内置 M3 设计体系,输出的提示词可直接喂给 Cursor/Claude 等编码工具。
🎯 对我有什么用
对你最直接的用处:如果你常常用 AI 聊天生成前端代码,但苦于描述不清布局、边距、颜色,这个工具可以帮你把视觉草图转成让 AI 更懂的高质量提示词。相当于给 vibe-coding 加了一个可视化的草图入口。适合快速原型、pre-prompt 设计或者教学演示。想省掉反复调 prompt 的时间,值得跑起来试试。
2
commerce-agents anthropics
Python ⭐ 2,051 🍴 347
用 Claude 打造购物与商家 Agent 的官方示例蓝图
🔍 这个项目是做什么的
这是 Anthropic 官方发布的一组参考实现,展示如何用 Claude 构建电商购物和商家端 Agent,覆盖零售、电商、电信、娱乐等场景。它不是一个现成的产品,而是一套可复制的模式:包括 Agent 应该调用哪些工具、如何处理订单/商品/客服等流程,以及如何设计工具调用和上下文。主要解决的是从零搭建领域 Agent 的架构难题。
🎯 对我有什么用
如果你打算做一个能帮用户找商品、下单或处理售后的小助手,这个仓库是你最快的参考起点。直接看官方示例能少踩很多工具滥用/编排错误的坑。可以用 Claude API 在本地跑起来,再改成自己的业务。适合想快速验证 agent 商业场景的开发者,建议 star 并跟踪更新。
3
cn shadcn-ui
TypeScript ⭐ 1,170 🍴 9
新一代 Tailwind 类名合并引擎,兼容 Clsx 且快 30 倍
🔍 这个项目是做什么的
cn 是一个用于合并 Tailwind CSS 类名的运行时库,同时完成类名去重和冲突解析。传统的写法是 clsx 负责条件拼接、tailwind-merge 负责覆盖后出现的冲突类,cn 把两者合并成一个统一的 API,官方称与现有库完全 API 兼容,同时性能提升 30 倍。它解决的问题是 Tailwind 类名在动态拼接时出现 p-2 和 p-4 这类冲突的谁生效问题。
🎯 对我有什么用
如果你在 React 项目里使用 Tailwind,应该写过 cva 与 clsx、twMerge 组合的 helper;现在可以直接换用 cn,API 不变,少一层依赖。性能提升对绝大多数前端应用并不明显,但如果你维护组件库或对首屏 bundle 敏感,替换仍然值得。代码库小、思路干净,也适合阅读学习 class 合并算法。
4
undress-service GangTailorUpgrade
Python ⭐ 1,090 🍴 1
用 AI 去除衣物的服务,伦理风险极高
🔍 这个项目是做什么的
仓库名为 undress-service,搭配 Dress AI Sponsor 的描述,实际是一个利用 AI 对人物图像进行衣物去除的服务端项目。这类技术通常被用于制作未经同意的合成裸照,属于典型的 Deepfake 滥用工具,违反主流平台政策、许多国家的法律和基本伦理。作为开源项目观察,它提醒我们:技术开源不等于没有边界,伤害性工具不应被赋予研究或冷幽默豁免权。
🎯 对我有什么用
这个仓库对你没有任何正当用途,不值得 star 也不应下载实验。如果你在 GitHub 上看到类似项目,可以作为负面案例去思考:开源社区如何治理滥用型 AI 工具;如果你想要学习图像生成或人体解析,请使用合规的服装预览/试穿、姿态估计等方向。拒绝传播,就是保护自己和他人。
5
reverify 2akouwu
Python ⭐ 923 🍴 199
AI 只负责建议,验证交给确定性工具——杜绝幻觉
🔍 这个项目是做什么的
reverify 是一个 MCP Server + CLI 工具,给 LLM 的输出加一层事实核查:AI 先提出答案,确定性工具再将其与真实数据/代码交叉验证,只有通过证据校验的结论才被采纳。它还实现上下文持久化,让已确证的事实和上下文在 session 重置后仍然保留。它把逆向工程作为首批应用场:例如解析协议、分析二进制时,AI 的每个猜测都会被工具验证,而非让模型自说自话。核心价值是让模型从自信的先验生成器变成可被证伪的候选器。
🎯 对我有什么用
当你用 AI 辅助逆向工程、代码审计或数据处理,模型给的结果可能是编造的。reverify 能帮你自动跑验证:它会连到 MCP,把 AI 的提议交给本地工具去核对,给你带证据的结论。节省的是你逐条验证和上下文丢失后重新确认的时间。适合对准确率要求高、且愿意配置 MCP 环境的人。想避免 AI 一本正经胡说八道,值得研究它的校验设计。
6
JavaScript ⭐ 822 🍴 8
让学英语像养电子宠物一样上瘾
🔍 这个项目是做什么的
oc-english 是一个把英语学习伪装成养成游戏的 Web 应用。它把背单词、阅读理解或听力任务包装成喂食、互动、进化等游戏行为,用户必须正确完成英文内容才能推动角色成长。它通过游戏化反馈延长学习动力,解决传统学习工具枯燥、易放弃的问题。项目用 JavaScript/前端技术实现,交互轻快,玩法设计和学习内容耦合紧密。
🎯 对我有什么用
如果你在坚持学英语但缺乏动力,可以把它当饭后或通勤的轻量练习工具,刷着刷着会发现自己在读英文题。它也适合教育产品开发者,代码演示了如何把学习模块与游戏状态机整合。虽然玩法深度和内容覆盖可能还不如大型 App,但作为趣味开源项目,体验成本很低,值得打开玩一下。
7
Lean ⭐ 692 🍴 50
用 Lean 形式化费马大定理的数学研究仓库
🔍 这个项目是做什么的
这个仓库使用 Lean 定理证明器编写,从仓库名和语言看,很可能是与费马大定理相关的形式化数学项目。由于没有描述,可以判断它是把人类证明逐步转化为机器可检查的严格证明,或者为该定理准备代数和数论基础组件。Lean 能将每条推理变成数学意义上的编译通过,所以这类项目的难点不只是定理本身,而是把所有概念如椭圆曲线、模形式都纳入形式化体系。
🎯 对我有什么用
它主要不是给普通开发者用的,而是给形式化验证和数学爱好者看的。你可以从中了解像 Anthropic 这样的 AI 团队如何参与纯数学证明,或学习 Lean 表达复杂定理的技巧。如果你关心 AI for Math 的进展,这个仓库是一个极好的信号;想系统学 Lean 也可以读它的代码结构。
8
DLSS-NR-on-AMD danielblnc
Other ⭐ 652 🍴 26
让 NVIDIA DLSS 在 AMD 显卡上跑起来的魔法补丁
🔍 这个项目是做什么的
这是一个社区逆向/兼容项目,目的是在 AMD GPU 上启用 NVIDIA DLSS 5 的 Neural Rendering 神经渲染功能。具体实现方式很可能是包装/调用 NVIDIA 的组件或做驱动层面的适配,从而绕过 DLSS 只允许在 NVIDIA 硬上执行的限制。它解决的是技术独占带来的体验割裂,吸引了不少想在自己 AMD 显卡上体验 DLSS 效果的游戏玩家和极客。
🎯 对我有什么用
如果你手头是 AMD 显卡且想尝试 DLSS 的神经渲染,这个仓库可能提供工具或安装步骤。但它属灰色地带:稳定性、兼容性、法律风险都需要自己评估。建议先看 README、备份驱动和系统,并在非关键环境测试。对研究图形渲染兼容层的人也是不错的实践样例。
iyining.life · 粤ICP备2026087045号-1