每日文摘
GitHub Trending 观察 2026-09-12
今日榜单 16 个仓库，新增 8 个，深挖 5 个。今日主题可以叫**「先想清楚再让 AI 动手」的一日**：GitHub 官方 spec-kit 领跑规格驱动开发，研究类 agent（hyperresearch/OpenResearch/MathModelAgent）集体把"流程纪律"做进了工具。
github/spec-kit
语言：Python · 总 star 135.7k · 今日 +985（全榜最高）· 一句话：GitHub 官方 Spec-Driven Development 工具包——先定义做什么，再让任意 agent 写码
- 是什么：MIT（1.0 已发版）：
/speckit.constitution（项目规范）→specify（只写 what/why 不写技术栈）→plan（此时才选架构）→tasks（拆任务）→implement→converge（对照 spec 检查收敛，未收敛则重来）；可选clarify（澄清模糊需求）/analyze（跨文档一致性）；支持 30+ AI 编码代理，extensions/presets/bundles 三层扩展 - 为什么火：+985——GitHub 官方背书 + 直击 vibe coding 质量不可控的痛点 + 代理无关不锁定；团队用 Spec Kit 开发 Spec Kit
- 值得看：与你的 feature-spec 工作流（先澄清需求出计划、批准后实施）高度同构——“specify 阶段禁止写技术栈"和"converge 收敛检查"两个设计值得直接借鉴；
uv tool install specify-cli即可试用 - 扩展资料：
jordan-gibbs/hyperresearch
语言：Python · 总 star 2.5k · 今日 +118 · 一句话：把 Claude Code 变成 16 步研究流水线——对抗审计+逐字引用核验
- 是什么：MIT：一个 prompt 进 → fetcher 子代理并行抓取（每波 8-12 个，crawl4ai+PDF 全文）→ 8 个学术源检索（OpenAlex/Crossref/SEC EDGAR…）→ 3 个草稿编排器并行写+4 个对抗批评者攻击 → patcher 只做手术式修补；来源存 vault（“Markdown is truth, SQLite is cache”）；规模分级 light(30 分钟)→dissertation(4-8 小时/2.5-8 万字)
- 亮点设计：引用文本必须逐字存在于 vault 笔记（杜绝编造）；引用已撤回论文会阻止发布；付费墙走 Unpaywall 合法开放获取替代；
<untrusted-source>围栏防提示注入；预算上限可设 - 为什么火：给"AI 深度研究"补上了质量门禁——本周 Cantrill《读者的反叛》（78% 弃读 AI 痕迹）的工程回应
- 值得看：来源独立性聚类（同一新闻稿 5 份转载只算 1 票）是资讯类研究的关键校正；与本栏的"扩展资料逐条标注价值"同一信仰
- 扩展资料：
alphaXiv/OpenResearch
语言：Rust · 总 star 1.2k · 今日 +156 · 一句话：本地优先的研究 agent 工作区——orx paper <arxiv-id> 开工
- 是什么：MIT（arXiv 讨论社区 alphaXiv 出品）：把 Claude Code/Codex/OpenCode 变成查文献、提假设、跑实验的研究代理；每个研究方向独立会话+隔离 git worktree 并行；
orx up起 CLI+本地仪表板；算力自由（本地/SSH/Slurm/K8s/Modal/HF Jobs）；实验树不可变归档保证可复现 - 为什么火：AI4Science 工具化的"工作台"路线——对照 aipoch/open-science（9/6 Trending，带 provenance 的科研台），OpenResearch 更贴 coding agent 生态；模型自由（经 OpenCode 接 Ollama/LM Studio 本地模型）
- 值得看：git worktree 隔离多方向并行研究的模式值得抄（superpowers 的 worktree 隔离同款思路）；
orx discover按关键词检索 arXiv - 扩展资料：
jihe520/MathModelAgent
语言：Python · 总 star 4.8k · 今日 +132 · 一句话：中文团队的数学建模 Agent——“3 天比赛变 1 小时”（作者：获奖还不现实）
- 是什么：中文开发者出品（个人免费/商用联系）：问题分析→建模→写码→纠错→论文全自动；已转型为完全由 SKILLS 驱动（不做 harness 层，直接在 Claude Code/Codex 里
/1start-mathmodel）；多智能体分工（建模手/代码手/论文手各配不同模型）；内置 17 套 Typst 赛事论文模板（国赛/华数杯/MCM-ICM）、建模知识库决策树、9 步自动验收（数值一致性/编译/PDF 检查） - 为什么火：垂类 agent 的"技能化"标本——从自建平台转向 skills 生态（本周主线）的活案例；四层容错（重试→Fallback→Shadow 评估→反馈重跑）+HIL 六动作审批
- 值得看：作者诚实提醒"直接靠它获奖不现实”——垂类 agent 的正确姿势是提效辅助而非替身；
npx skills add jihe520/MathModelAgent --all可试 - 扩展资料：
p1neappleXpress/OpenFlux
语言：Go · 总 star 1.1k · 今日 +201 · 一句话：网络栈研究工具——把 TCP 包塞进 Yandex Docs 的光标消息里传输
- 是什么：GPL-3.0：SOCKS5→Transport→出口节点（gvisor 用户态栈）的可插拔 TCP 隧道；现有两个 transport：Yandex（借助 Yandex Docs 旧编辑器光标消息当数据信道，默认）与 Max（WebRTC DataChannel，实验性）；实现
Transport接口即可扩展；桌面+Android+iOS 客户端 - 为什么火：+201——“把任意在线服务变成数据信道"的思路极具启发性（对照本周 Nitter 事件、frefan 翻墙聚合回榜：网络自由工具持续高热）；README 自我定位"教育用途，仅在自有网络测试”
- 值得看：对网络研究者的价值在架构样本（用户态栈+可插拔传输+RST 丢弃）；⚠️ 借用第三方服务传数据违反其 ToS 的风险自担，MAX transport 官方就警告可能封号
- 扩展资料：
今日一句话
- melgarafael/DeskcommCRM — 自托管 AI 销售 OS（CRM+原生 AI agents）
- Sonarr/Sonarr — 媒体自动化管理经典回榜（15.7k 星）
- nab138/iloader — 用户友好的应用侧载工具（iOS 侧载生态）