🎯 今日趋势
今天的榜单透着'动手'的味道：AI 不再只聊天，而是用 USB 操控真机、自主渗透、当财务顾问；另一边 Rust 重写经典软件的浪潮把 Word、AutoCAD 从零复刻。前者是 agent 走进物理世界，后者是开发者对可掌控基础设施的执念——都在争夺控制权。
项目数 8
总 stars 31,752
Rust 3
Python 2
Lean 1
JavaScript 1
项目榜单 · Top 8
把数学证明变成代码，给 AI 推理立标准答案
🔍 这个项目是做什么的
Lean 是一门把数学证明写成代码、由编译器逐步检查对错的编程语言。这是 OpenAI 在形式化数学方向的落地：把数学问题与证明变成机器可验证的形式，让模型生成的每一步推理都被严格检验。它解决的是 AI 推理'看着像对'却无法验证的痛点，为数学能力提供不会说谎的训练与评测信号。仓库暂无描述，细节以代码为准。
🎯 对我有什么用
普通开发者很难直接上手，Lean 学习曲线陡、形式化证明门槛高。但它的价值在于方向：如果你在做 AI 推理评测、数学数据集或模型微调，这里是现成的形式化语料与工具链，可以直接拿来当'模型数学能力到底行不行'的照妖镜。做形式化验证、定理证明、AI4Math 方向的同学值得 star 并持续跟进，也能借此理解 OpenAI 为何押注 Lean。
把静态画作变动画的 AI 技能包，35 种风格任选
🔍 这个项目是做什么的
这是一个给 AI 编码助手用的技能包：喂一张画或插图，它用代码驱动画面动起来。35 种艺术风格覆盖水墨、像素、赛博等视觉语言，9 种解说语法决定镜头怎么推、节奏怎么走，本质上把'艺术动画'拆成了可复用的模板与参数。它解决的是普通人做动态视觉内容门槛太高的问题——不用学特效软件，让 agent 按模板产出动画代码。
🎯 对我有什么用
做短视频、文章动态封面、产品宣传片的人能直接用：装进 Claude Code、Codex 这类 agent，给一张图加一句需求，就能拿到动画代码和成片，省掉学 AE 和逐帧调参的时间，自媒体尤其划算。35 种风格意味着改个参数就换一套视觉，很适合当素材库和 prompt 参考。想学怎么把审美经验固化成 AI 技能的人，也值得 star 拆解它的写法。
用纯 Rust 从零复刻 Word，干净到没抄一行代码
🔍 这个项目是做什么的
clean-room reimplementation 意味着不看原始代码、只依据功能与公开文档重写，法律上更干净、思路上更自由。项目目标是做一个能打开并编辑 .docx 的桌面文字处理器，全程用 Rust 写，天然跨平台、启动快、内存安全。它针对的是 Word 闭源收费且体积庞大、Linux 上办公体验糟、LibreOffice 又老又重的现实困境，是'经典软件开源重写'浪潮的一员。
🎯 对我有什么用
别指望现在就拿它写日报，早期项目离生产还很远。但如果你在做 Rust GUI、OOXML 文档解析、富文本编辑器，这是一份极好的架构与踩坑参考，能省下大量调研时间；想学 Rust 大型工程如何组织模块、处理二进制格式的同学，也可以当活教材。值得 star 长期围观，真要用还是先留在 Word 或 LibreOffice。
会自己找漏洞、自己打进去的 AI 渗透测试智能体
🔍 这个项目是做什么的
一个自主渗透测试系统：把侦察、扫描、漏洞验证、利用、提权这些流程交给 AI agent 自主编排，让它像人类红队一样自己判断下一步打哪、该调什么工具，而不是只跑预设脚本。项目出自百度'agent+'攻防挑战赛并拿到冠军，说明在接近真实的靶场环境里确实跑得通。它解决的是安全测试重人力、流程冗长、老手经验难以复制的痛点。
🎯 对我有什么用
安全从业者可以拿它做内部靶场演练、CTF 辅助、漏洞挖掘前的自动化信息收集，把重复的侦察与验证环节交出去，人专注在判断和利用链设计上——但务必只在获得授权的环境里跑。想学 agent 编排、工具调用、长任务规划的开发者，这个项目的架构也极具参考价值。对于做安全或 agent 方向的人，这是一个含金量很高的 star。
让 Codex 通过 USB 真机操控你的 iPhone
🔍 这个项目是做什么的
它把 AI 编码助手和真实 iPhone 通过 USB 连起来：自动引导安装所需配套 App，然后你就能用自然语言让 agent 操作手机——点按、滑动、打开应用、填写表单，同时回传实时屏幕画面，必要时退回到截图方式以保证兼容性。它解决的是移动端自动化难做、模拟器不够真实、传统测试框架配置繁琐的问题，让'用嘴操作手机'成为可能。
🎯 对我有什么用
做 iOS 自动化测试、批量操作自己手机、给 App 做回归验证的人会很爽：不必手写 XCUITest，直接描述任务让 agent 去点。日常也能让它代劳手机上那些重复劳动，注意只用在自己设备和有权限的应用上。想学 agent 如何接管 GUI、如何用视觉反馈形成闭环控制的同学，这是很好的样本，值得 star 细读。
为老 Intel Mac 的 RTX 显卡手写 Metal 驱动
🔍 这个项目是做什么的
macOS 15 在官方层面基本放弃了 NVIDIA 显卡支持，这个项目用 Rust 写了一个 Metal 驱动，让 Intel 平台或 OpenCore 黑苹果上的 RTX 显卡在新系统里重新被识别、参与图形与计算任务，免费且附带源码。它回应的是'机器还能用、显卡也不差，系统却不认'的尴尬处境，属于硬核逆向与驱动开发的产物，也侧面展示了 macOS 图形栈的可介入空间。
🎯 对我有什么用
真正用得上的人不多：手里有 Intel Mac 或黑苹果、又插着 RTX 卡的用户，可以编译安装让闲置显卡重新干活，具体加速支持程度要看项目说明。对绝大多数人来说既装不了也无需装，但它是学习 macOS 图形栈、Metal、PCIe 驱动开发的稀有教材。这类项目生命周期有限，star 更多是一种表态与存档。
跑在自己电脑上的理财管家，还带一个 AI 顾问
🔍 这个项目是做什么的
一个开源自托管的个人财务应用：把净资产、股票、基金 ETF、现金和负债汇总到同一个面板，数据存在你自己的机器上而不是云端。亮点是内置 AI 财务顾问，能基于你的真实资产结构回答问题、给配置建议。它解决的是记账类产品关停、隐私外泄、订阅收费的痛点，适合想把全部财务数据握在自己手里、又不想靠 Excel 硬撑的人。
🎯 对我有什么用
如果你还在用表格记账、或受够了各种理财 App 索要账号密码，可以直接自部署，把账户填进去看资产总览和趋势，AI 顾问能帮忙做资产配置的初步问答，但别把它当成投资建议。对程序员来说，它既能当个人财务看板自用，也是学习 Python 全栈加 LLM 集成的完整范例，值得 star 并动手跑一遍。
纯 Rust 手搓一个开源 AutoCAD，不抄一行代码
🔍 这个项目是做什么的
和 Wordcraft 同出一人之手，同样用 clean-room 方式从零编写一个 CAD 制图软件：画线、标注、图层、导出图纸这些核心能力逐步补齐，目标是做成 AutoCAD 风格的开源替代品。纯 Rust 实现意味着跨平台、启动迅速、内存安全。它针对的是 CAD 软件昂贵且闭源、Linux 上几乎没有像样选择、教学与二次开发都被卡脖子的长期痛点。
🎯 对我有什么用
现阶段别指望拿它出生产图纸，项目还很早期。但对做图形学、几何内核、桌面 GUI 的开发者是宝藏：CAD 涉及坐标变换、几何约束、拾取命中、大文件渲染，是练手和取经的绝佳素材。如果你在找开源 CAD 内核、想做插件或研究纯 Rust 如何写大型交互式应用，先 star 关注，再翻代码学结构。