🔥 GitHub 每日热门项目

更新时间：2026年06月19日 16:00 (北京时间) 数据来源：GitHub Trending & Search API

以下是过去每日内最受欢迎的开源项目，按新增 Star 数排序。

1. LineTonePresent/SimpleChest

SimpleChest!

  • ⭐ Stars: 25
  • 💻 Language: Unknown
  • 🏷️ Topics: 无

2. joeseesun/qiaomu-llm-mcp

把多模型 Provider、本地密钥和 HeavySkill 讨论统一成 MCP 网关 | Local MCP gateway for multi-provider LLM routing, secrets, and HeavySkill discussions.

  • ⭐ Stars: 18
  • 💻 Language: Python
  • 🏷️ Topics: ai-workflow claude-code codex deepseek llm

3. AI4Maths/awesome-interactive-theorem-prover

A curated list of awesome interactive theorem prover frameworks

  • ⭐ Stars: 14
  • 💻 Language: Unknown
  • 🏷️ Topics: formal-mathematics formal-verification formalization interactive-theorem-prover interactive-theorem-proving

4. alfaoz/opencode-see-image

give non-vision models the ability to see images by routing images to a vision capable model

  • ⭐ Stars: 11
  • 💻 Language: TypeScript
  • 🏷️ Topics: ai-agents opencode-plugin

📊 统计

  • 收录项目数: 4
  • 时间范围: 每日
  • 排序依据: 新增 Star 数

本文由 GoodInfo GitHub Trending 自动生成，每小时更新。