GitHub 每日热门

OpenAI 开源了内部数学评估的产出库：一个未发布的内部模型挑战约 4000 道开放数学问题后，整理出 719 篇数学手稿、372 个结果家族，还附带了推理过程摘要。这是 AI 做数学研究的一次罕见大规模公开披露，建库 6 天即破 1.4 万 star。

• 全部结果来自同一流程、同一未发布内部模型，平均每个结果消耗约 3 小时 ChatGPT Pro 级别的思考算力
• 覆盖黎曼 zeta 函数零点区域、Hodge 猜想、三维相对论 Vlasov–Maxwell 系统等硬核方向
• 约 42% 的顶层结果已完成 Lean 形式化验证，其余持续更新补齐
• 同步发布了部分结果的推理摘要，可以一窥模型的解题思路

• 719 篇手稿 / 372 个家族 / 约 4000 道候选题
• License: Apache-2.0
• 创建于 10 月 6 日，6 天 14.1k star

百度“agent+”攻防挑战赛冠军项目的开源实现：一套 LLM 多 agent 驱动的自主渗透测试系统，planner 负责规划、多个 worker 并发执行，带人在环路审批、流量录制和资产图可视化。Go 单二进制 + 内嵌 Next.js 前端，部署简单。

• 双图架构：资产图管目标范围、探索图管攻击链路，planner 多轮共享 todolist 让攻击链更稳定
• 人在环路：危险工具调用走审批门，worker 的 Bash/HTTP 全程 MITM 录制留痕
• 一键安装脚本、Docker Compose、预编译二进制多种部署方式，页面一键更新还带自动回滚
• 支持 MCP、skills、memory 扩展，LLM 可配 Anthropic 或 OpenAI

• ⭐3.2k 但 fork 高达 5.5k，渗透圈热度惊人
• License: AGPL-3.0（商用注意传染性）
• 默认端口 :8787，依赖 PostgreSQL

让 Codex 通过 USB 操作你的真实 iPhone：基于 WebDriverAgent + 本地 MCP 服务，用自然语言下指令，Codex 就能打开 App、点击、滚动、输入中文，并在侧边栏实时展示手机屏幕。无需越狱，5 天拿下 3.1k star。

• 一段提示词即可让 Codex 自助完成安装和签名配置（需用自己的 Apple 开发者账号签名 WDA）
• 17 个 MCP 工具：控件树读取、坐标点击、batch 组合动作、列表滚动采集
• 截图回退机制：控件定位失败时自动看截图重试，不盲点
• 实时屏幕预览不落盘；密码、验证码等认证环节交还用户手动完成

• MIT 协议
• 依赖：macOS + 完整 Xcode + Python 3.9+ + Node.js
• 数据保留在本机，匿名统计可一键关闭

让 coding agent“把艺术风格写成会动的画”的 Agent Skill：35 张艺术风格配方卡（梵高、莫奈、8-bit、水墨……）各配可运行的 Canvas 场景代码，外加 9 种解说视频语法（Kurzgesagt、Vox、白板、3Blue1Brown……），口播喂一份 JSON 就能出帧精确的动画片段。

• 核心方法论是“一帧先行”：先设计一帧，再让它动起来，而不是转场拼接
• 自带拆解脚本：把参考动画量成转场、节拍网格和运动热图，再按机制用代码复刻
• 数字验收：qa.py 量稳定、效率、动感、流畅，deliver.py 一条命令过门禁交付
• 样片《花叔穿越名画》23 种画风、2 分 08 秒，全部代码绘制，配乐也是代码合成的

• MIT 协议
• 依赖：uv + ffmpeg + Playwright Chromium
• 安装：npx skills add alchaincyf/huashu-art-motion

开源的 AI 视频人物/物体替换工作流：用深度图 + SAM 3 分割锁定主体，再经 Seedance 生成替换角色。本地 Web UI 负责准备素材、审查 mask、预览草稿，最终导出时完整保留原片音频。配套 Agent Skill 可让 coding agent 半自动跑全流程。

• 先出草稿、人工批准 mask 后才生成 1080p，避免烧钱返工
• 导出时丢弃生成音频、把原片完整音轨拷回，保证对白和节奏不变
• 另有 face mesh 快速模式：只做面部追踪换脸，不走深度/SAM 管线
• 部署在 localhost 的单用户应用，不建议直接公网暴露

• MIT 协议
• 需自备 Enhancor Seedance API Key + Replicate token（生成按量付费）
• mask 审批绑定产物哈希，防篡改

macOS 命令行小工具 + Claude Code/Codex Skill：让 AI agent 在你的屏幕上画大箭头、方框和文字标注。当 agent 做到“必须你亲手点一下”的步骤时，它不再往终端里打印“请点击允许”，而是直接在屏幕上给你指出来。

• 绘制层点击穿透、不抢键盘焦点，箭头按时长自动消失，不用清理
• 绘制本身不需要任何 macOS 权限：纯 Swift 单二进制，无守护进程、无遥测
• agent 只需会三个命令：point 指一下、start/stop 常驻标注
• 创意用法：帮父母远程指引、录屏演示标注、给 agent 调试屏幕坐标

• MIT 协议
• 安装：brew install franzenzenhofer/tap/bigarrow
• 箭头形状/颜色/尺寸可调，支持 --dry-run 预演

一句话让 AI 帮你做产品宣传片：把产品名或网址丢给 Cursor、Claude Code、Codex，它会自己调研产品、画多套风格样图给你挑、截 4K 真实页面、按音乐节拍卡点剪辑、生成 AI 旁白并逐句转写校验，最后交付 4K 成片和网页播放版。仓库本身就是一个标准 Agent Skill。

• 风格不来自模板：AI 针对每个产品提 3-4 个差异化方向并画样帧，你拍板后再开工
• 真实产品是主角：全片不少于 8 张真实界面截图，AI 生成图只做包装和转场
• 声音靠数据校验：旁白逐句转写比对，品牌名错一字即不合格；配乐仍需你亲耳试听
• 规范来自 60+ 条真实踩坑记录和 5 支成片的案例复盘，README 里有完整展示

• MIT 协议
• 技术栈：Remotion + ElevenLabs（可选）+ Playwright + FFmpeg
• 推荐 Claude Opus 5.5 级别模型；4K 渲染约 4-18 分钟