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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

0:34

Media is too big

VIEW IN TELEGRAM

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

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

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

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

This solves a pretty specific but annoying problem: you have the finished poster, but not the PSD or original assets.
Easy Pick is an image extractor that can pull multiple products, icons, or illustrations from one flat image and save them as separate PNG assets.
Not a background remover, not PSD recovery — just a quick way to reuse assets from old graphics.
@https1024

在 Windows 桌面上像 Stardock Fences 那样，把零散的图标收进可拖拽的"栅栏"分组里，省去手动整理。
https://github.com/Yumesaka13/DeskChan

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

用一条 ssh 连接把另一台机器的 Hyprland 会投到自己窗口里，两端只靠 ssh 通信，不需要开端口、注册账号或中转服务器。
https://github.com/omacom/gliff

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

《捞偏门》：揭秘快速赚钱项目与灰色产业链内幕
https://pan.quark.cn/s/e7870b5267cf

@meiriyishu

读 deepseek-harness 源码时，插件怎么注册、ctx.llm 从哪冒出来的、加载顺序谁定的，这些问单看代码很难对上。
https://github.com/adpanru/cordis-mini
这个项目把五个核心机制各写一份约六百行的 Python 迷你版，跑一遍 demo 就能看见每个机制的完整数据流。

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

Tried AutoHanding — an online handwriting generator and text to handwriting converter for Word, PDF, images, and typed text, with up to 600 dpi watermark-free export.
@https1024

连涂改都能生成，电脑也开始假装写错字了😂
🧵 Thread:
凹凸工坊：一款在线手写字体生成器
可以把 Word、PDF、图片或直接输入的文字处理成手写样式。
支持纸张背景、涂改概率、文字位置和笔画凌乱度调整，下载最高 600dpi，无水印，单次最多 12 页
👉
主打真实 哈哈哈
@https1024

𝕏 可以打电了？
@https1024

pi 的命令行跑任务时 Working 行只挂着干巴巴的文字，这个扩展监听工具执行事件，把状态行换成实时动态——正在跑什么、进度到哪、还剩多久都看得见，顺带掺进俏皮文案和彩蛋。
https://github.com/ccch1mneyyy/pi-working-activity

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

给 AI Agent 一套六步 UI 设计流程，从选风格、生图、出透明素材到代码实现和对照调整，做出风格统一且可交互的可爱界面。
https://github.com/s1dashu/moe-ui-skill

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