今日开源 · 2026年9月12日

今天的 GitHub Trending 由「AI Agent + 空间智能」领跑——从纯浏览器渲染真实卫星视角的空间可视化，到跨 1000+ 市场自主交易的交易 Agent，再到一键出论文的数学建模 Agent，还有 GitHub 官方下场推动的规范驱动开发。这期挑了 4 个跨赛道、各有看头的好项目。

👁 gods-eye-view — 浏览器里的真实空间智能"间谍卫星"

GitHub: bilawalsidhu/gods-eye-view | Stars: 27,468 ⭐ | 许可: 见仓库 | 语言: JavaScript

纯浏览器直接跑的空间智能模拟器：底层数据是真实的开放空间情报源，渲染出逼真的地球俯瞰视角——你把"侦察卫星"装进浏览器，随手就能俯瞰世界。

只需浏览器即可运行，零安装，打开就是卫星视角
数据真实可查，不是纯虚构的特效
把「空间智能可视化」玩出了新高度，视觉冲击力拉满

项目地址：https://github.com/bilawalsidhu/gods-eye-view

🤖 CloddsBot — 跨 1000+ 市场自主交易的 AI 交易 Agent

GitHub: alsk1992/CloddsBot | Stars: 2,235 ⭐ | 许可: MIT | 语言: TypeScript

开源的 AI 交易 Agent：能自动在 Polymarket、Kalshi、Binance、Hyperliquid 等 1000+ 市场里自主决策、自动下单，把"无人值守交易"真正落到能跑的程度。

覆盖 1000+ 市场，预测市场与加密交易通吃
完全自主运行，Agent 自己分析、自己执行
MIT 开源、代码透明，适合研究交易 Agent 玩法

项目地址：https://github.com/alsk1992/CloddsBot

📐 MathModelAgent — 一键产出可提交论文的数学建模 Agent

GitHub: jihe520/MathModelAgent | Stars: 4,921 ⭐ | 许可: 无 | 语言: Python

专为数学建模设计的 Agent & skills：喂进题目，它自动完成建模、求解，并生成一份可以直接提交的完整论文——数模大赛选手的省心利器。

自动跑通建模全流程，从读题到成文一条龙
直接输出可提交的完整论文，省掉大量整理
Python + skills 架构，可复用也能按需改造

项目地址：https://github.com/jihe520/MathModelAgent

💫 spec-kit — GitHub 官方推出的规范驱动开发工具包

GitHub: github/spec-kit | Stars: 135,847 ⭐ | 许可: MIT | 语言: Python

GitHub 官方出品的 Spec-Driven Development（规范驱动开发）入门工具包：把"先写规格、再写代码"从理念变成可落地的工程方法，官方下场示范怎么用。

官方出品，天然贴合 GitHub 最佳实践
帮你把「规范驱动开发」流程真正跑起来
顶流热度——13.5 万 star，开发者工具赛道当红炸子鸡

项目地址：https://github.com/github/spec-kit

今日趋势洞察

维度	观察
最热赛道	AI Agent 继续霸榜——交易、建模、桌面编码 Agent 全线开花
Web 开发	空间智能可视化成新宠，浏览器内直渲染真实地球数据
基础设施	GitHub 官方 Spec-Driven 工具定调，开发者规范工程化是趋势
社区偏好	中文开发者参与度上升，数学建模等垂直场景 Agent 快速起量