OpenAI 官方新开的 Lean 形式化数学仓库，刚上线一天就冲到榜首。用形式化证明语言做数学，是 OpenAI 在自动定理证明/数学推理方向的新动作，值得关注。
https://github.com/openai/math

互联网充电｜优质资源
优质内容｜内幕消息

把六个 AI 客户端（DSH、WorkBuddy、ZCode、Codex、Cursor、Claude Code）里用户碰不到的内置提示词换掉，改成自己写的 persona.md，动手前留备份，出事一条命令还原。
https://github.com/z91772524-ai/pojia-next

互联网充电｜优质资源
优质内容｜内幕消息

我是还没睡醒吗

互联网充电｜优质资源
优质内容｜内幕消息

macOS 截完图，缩略图堆在桌面、文件还得自己收拾；装这个菜单栏小工具，截图统一挂到屏幕顶边一条线上，用的时候拉下来拿。
https://github.com/alejandrobujan/tendedero

互联网充电｜优质资源
优质内容｜内幕消息

用纯 Rust 从零重写一个 Word 兼容的文字处理软件，让 .docx 编辑、排版和 PDF 导出不依赖微软 Office，并能由 AI agent 通过 CLI 与 MCP 驱动。
https://github.com/storytold/wordcraft

互联网充电｜优质资源
优质内容｜内幕消息

保时捷裁员30% 要回归燃油车了
看来主要市场还是中国🤡
@https1024

给 DeepSeek Harness 找插件很折腾：GitHub 上挂 dsh-plugin 标签的仓库一大半在蹭流量。
这份清单每天跑脚本把新仓库抓进待审核队列，人工一个个看过才收录，蹭的直接踢掉并留档理由。
https://github.com/bruc3van/awesome-dsh-plugin

互联网充电｜优质资源
优质内容｜内幕消息

用纯 Rust 重做一套兼容 AutoCAD 命令行习惯和 DXF/DWG 文件的开源 CAD 制图应用，并让 Agent 能通过 MCP 和 CLI 驱动它画图。
https://github.com/storytold/cadcraft
CADCraft 用纯 Rust 从零写了一套 CAD 制图应用，命令行提示、对象捕捉、极轴、正交、grips、右键重复都按 AutoCAD 的老规矩来。

互联网充电｜优质资源
优质内容｜内幕消息

把上课用的投影片、PDF 或笔记交给 AI，重做成适合 iPad 长时间阅读与手写作答的深色讲义，最后输出全向量 PDF。
深色講義 https://github.com/xamjiang/handout-remake

互联网充电｜优质资源
优质内容｜内幕消息

终于发明出来了安全烟花棒

互联网充电｜优质资源
优质内容｜内幕消息

用纯 Rust 重做一套覆盖 Pro Tools 工作流的开源数字音频工作站，并让每个操作都能被命令行或 AI Agent 调用。
https://github.com/storytold/soundcraft

互联网充电｜优质资源
优质内容｜内幕消息

这玩意一看就是日本人发明的

互联网充电｜优质资源
优质内容｜内幕消息

个人资产数据不用交给云端服务，跑在自家机器上，要看 AI 建议时再拿自己的 OpenRouter key 连一次。
https://github.com/LosaLosSantos/aurelio-finance
Aurelio 是自托管的个人财富分析应用，后端 FastAPI、前端 React + TypeScript，数据存在本机 backend/data.db，更新前会先备份一份。

互联网充电｜优质资源
优质内容｜内幕消息

还在 GitHub 上到处翻免费代理节点？有人直接做了个自动挖节点的神器！
推荐一个开源项目 ProxyNodeHub，专门搜索 GitHub 上活跃的免费节点仓库。
最爽的是，点一下「搜索并分析」，它就能自动筛选仓库、分析更新频率、提取订阅链接，最后把分散的节点合并去重，一键导出。
以前找节点靠手动翻仓库，现在直接让工具替你挖。
目前支持 Windows 10/11，免费开源。公共节点隐私和稳定性无法保证，建议仅作备用。
GitHub： ⁠https://github.com/wanvfx/ProxyNodeHub

互联网充电｜优质资源
优质内容｜内幕消息

发现一个挺实用的开源项目：android-airplay-server。
它能让普通安卓手机、平板、电视盒子直接变成苹果 AirPlay 接收器。
简单说，就是让安卓设备也能接收 iPhone、iPad、Mac 的无线投屏。
Android 7.0 以上就能用，免费开源，不需要额外购买 AirPlay 接收设备。
家里有闲置安卓平板或电视盒子的，可以拿来试试。
⁠https://github.com/jqssun/android-airplay-server

互联网充电｜优质资源
优质内容｜内幕消息

老牌安卓投屏神器 scrcpy，终于升级到 5.0 了。
这次最重要的升级就是：硬件解码终于来了。
以前投屏主要靠 CPU 解码，现在 Windows、macOS、Linux 都可以直接调用 GPU，官方实测 CPU 占用最高能降低约 10 倍，解码更快、功耗更低，长时间投屏也更轻松。
scrcpy 本身依旧免费开源、无广告、不需要账号，甚至不需要联网。
安卓投屏，我还是首推它。
https://github.com/Genymobile/scrcpy

互联网充电｜优质资源
优质内容｜内幕消息

尊界V800 刹车踏板断裂 🥲
@https1024

在 Omarchy Linux（Apple Silicon 或 x86_64）上编译 SwiftUI 应用、通过 USB 装进 iPhone，并直接上传 App Store / TestFlight，全程不需要 macOS 和 Xcode。
https://github.com/joshuaswarren/omarchy-apple-dev

互联网充电｜优质资源
优质内容｜内幕消息

oil-git 把本地 Git 仓库的分支、提交图、暂存与工作区变更、文件 diff 做成只读桌面界面，查看时不会碰仓库一下。
https://github.com/oil-oil/oil-git

互联网充电｜优质资源
优质内容｜内幕消息