一群 coding agent 并行跑同一个仓库时，让第一个撞错并修好它的 agent 把修法传给同仓库的其他 agent，省掉每台各自从头诊断同一错误的 token。
https://github.com/Shyboy0499/antibody

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

在本地把发给模型供应商的请求先过一遍隐私检测，把密钥、邮箱、电等敏感内容按策略告警、拦截或脱敏，同时在响应里把占位符还原回原值。
https://github.com/Calcium-Ion/AstrLink

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

BMW YYDS ！闪电麦昆和道奇合体了😍

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

给你推个电视盒子用户必须收着的 GitHub 仓库：TVAPP，简直就是个 Android TV 软件库。
它把各种 TV 应用都归拢好了：TVBox、影视仓、FongMi、OK 影视、电视直播、K 歌、B站第三方客户端、儿童教育、工具、游戏等等都有，还标了版本、兼容性和当前能不能用。
更省事的是，仓库底下还整理了 TVBox 接口源、直播源、多仓配置，换电视、换盒子的时候不用满世界去扒 APK 和配置。
家里有 Android TV 或者电视盒子的，这一个仓库够你慢慢折腾了。
GitHub： ⁠https://github.com/youhunwl/TVAPP

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

Azure Skills Plugin 是微软官方出的 AI 代理插件，主要干两件事：一是教代理 Azure 的工作套路（什么时候用什么服务、该验证什么、有哪些坑要避开），二是给它配上 MCP Server 的执行能力，200 多个工具覆盖 40 多项 Azure 服务。
https://github.com/microsoft/azure-skills

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

把散落的文档自动归档成结构化的 Markdown 维基，回答问时给出引用到具体笔记的答案，并用小型分类器替代大模型决定内容该放哪。
https://github.com/crow-hq/llm-wiki-v2

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

手写一个跑在终端里的 AI 编程助手，从交互界面到 Agent 主循环全链路自研并配中文注释，当 Agent 开发的活教材。
https://github.com/Harvil1/codeAgent

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

比修牛蹄、洗毛毯好解压多了，我可以看一天！

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

APP可以提供这个 允许摇一摇广告 开关选项的
不多了吧
@https1024

The Last Math Competition迎来了1000次完备的数学证明，其中200多次被我拒掉了。
https://github.com/The-Last-Math-Competition/The-Last-Math-Competition
我可以告诉你们的是，lean4 project并不能完备证明一个数学定理被证明或者一个猜想被证伪，因为很多时候会模糊这个conjecture的定义，那么整个lean4 project就会作废。
这是血的教训， OpenAI和Anthropic的同行们。

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

AI Agent 抓网页时不用为了拿一段文本就背着一整套持续渲染的浏览器，Moli 只在真要几何数据或截图时才现算布局，内存和 CPU 都能压下来。
https://github.com/lexmount/moli

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

在 Apple silicon 的 macOS 27 上关掉 Apple Intelligence 并删除其模型，同时关闭遥测、广告、弹窗和其他应用的后台更新器，所有改动可见且可撤销。
https://github.com/omlahore/RemoveMacAI

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

夯到爆 Cool

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

一个 Windows x64 便携版文件管理器，能在浏览文件的同时递归统计文件夹大小，直观看出哪些目录最占磁盘空间。
https://github.com/ribeirogustav/FolderSizeExplorer-Releases

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

现在的国产手机格局
华为系：华为（荣耀已分家）
小米系：小米 + Redmi；投资黑鲨
OPPO 系：OPPO + 一加 + realme 真我
vivo 系：vivo + iQOO
中兴系：中兴 + 努比亚 + 红魔
联想系：moto 摩托罗拉 + 拯救者（游戏手机停更）
吉利系：星纪魅族（手机业务暂停）
华硕系：ROG 游戏手机
@https1024

汽水音乐竟然没有提供Mac版本的呢😅
@https1024

egui 是 Emil Ernerfeldt 用 Rust 写的即时模式 GUI 库，作者也是 Rerun 的创始人。它不负责收集输入和渲染，这两件事交给后端集成，所以同一份 UI 代码能跑在 Web（Wasm + WebGL）、Linux、macOS、Windows 和 Android 上，也能嵌进 Bevy 这类游戏引擎。
https://github.com/emilk/egui

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

这个好玩

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

把团队用编程 Agent 写出来的内部工具收进一个自托管平台，一并管住公司登录、数据库、文件存储和对外系统访问。
https://github.com/widefleet/widefleet

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