01
GitHub热门 2026-10-12
阅读正文 ↗点击知识块看内容，点击连线看依据。没有关系的块也保留。
正在读取关系，知识块已可查看。
可视化页面：https://resource.vyibc.com/github_2026-10-12.html 内容日期：2026-10-12（Asia/Shanghai，推送当日） 补存日期：2026-10-16（America/Los_Angeles，本次恢复归档） 覆盖说明：2026年10月12日 · 过去 7 天创建 · 为你精选 7 个新仓库 推送类型：GitHub热门
02
**标签：**大模型、数学推理、开源
OpenAI（⭐14.1k · Lean）
📝 摘要
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
⚡ 建议行动：对 AI 推理感兴趣的话，直接翻仓库里的 overview.pdf 看家族目录，找和你领域相关的手稿细读。
03
**标签：**AI Agent、安全、MCP
mhtsec（⭐3.2k · Go）
📝 摘要
百度“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
⚡ 建议行动：安全方向的同学先打开它的在线 Demo（模拟数据）看仪表盘和探索链路，再决定是否本地 Docker 部署。
04
**标签：**Codex、手机自动化、MCP
zhongerxin（⭐3.1k · Python）
📝 摘要
让 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
- 数据保留在本机，匿名统计可一键关闭
⚡ 建议行动：有 Mac + iPhone 的话，把 README 里的安装提示词复制给 Codex，让它自己装一遍，体验一把“说话操控手机”。
05
**标签：**视频制作、Agent Skill、动画
花叔 Alchain（⭐3.4k · JavaScript）
📝 摘要
让 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
⚡ 建议行动：做自媒体的可以直接跑 render.py 渲一段梵高风格样片，评估要不要把它接进你的口播视频管线。
06
**标签：**AI 视频、换脸、工作流
TEIN / Sirio Berati（⭐646 · Python）
📝 摘要
开源的 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 审批绑定产物哈希，防篡改
⚡ 建议行动：有换角需求的先跑 doctor.py 检查环境，用自带示例视频走一遍草稿流程，满意再决定是否充值。
07
**标签：**AI Agent、Mac 工具、Claude Code
franzenzenhofer（⭐627 · Swift）
📝 摘要
macOS 命令行小工具 + Claude Code/Codex Skill：让 AI agent 在你的屏幕上画大箭头、方框和文字标注。当 agent 做到“必须你亲手点一下”的步骤时，它不再往终端里打印“请点击允许”，而是直接在屏幕上给你指出来。
🎯 核心论点
- 绘制层点击穿透、不抢键盘焦点，箭头按时长自动消失，不用清理
- 绘制本身不需要任何 macOS 权限：纯 Swift 单二进制，无守护进程、无遥测
- agent 只需会三个命令：point 指一下、start/stop 常驻标注
- 创意用法：帮父母远程指引、录屏演示标注、给 agent 调试屏幕坐标
💎 知识抽取
- MIT 协议
- 安装：brew install franzenzenhofer/tap/bigarrow
- 箭头形状/颜色/尺寸可调，支持 --dry-run 预演
⚡ 建议行动：Mac 用户装上后跑 bigarrow install-skill，让你的 Claude Code 学会在需要你动手时“指给你看”而不是打字。
08
**标签：**视频制作、Agent Skill、宣传片
liyupi（⭐140 · Python）
📝 摘要
一句话让 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 分钟
⚡ 建议行动：手头有产品或开源项目的话，装成 skill 后说一句“给这个项目做一支宣传片”，先看它画的风格样帧再决定要不要继续。
来源：提交的 HTML（未提供来源地址）。