- 運作狀態
- 上線中
- 30 天上線率 100%
- 最近程式碼更新
- 10月27日
- 活躍儲存庫
- 貢獻者
- 290 人
- 分支 1,069
- 授權條款
- GitHub 自動辨識 · 先前收集的資料 · 收集於 10月27日
- nomorevibe 收錄
- 10月27日
- 儲存庫建立於 2018年4月
語言組成
- Lean 95.1%
- C++ 3.2%
- Shell 0.6%
- Python 等 1.1%
更新最近 30 天 3 筆
全部- v4.36.0-rc1GitHub 發布版本 ↗
- v4.35.0GitHub 發布版本 ↗
- v4.35.0-rc4GitHub 發布版本 ↗
開發工具 分類的熱門專案
依最近已完成的 8 小時觀測回合間的 GitHub 星號增量排序
x18n
x18n reads the locale files of any project, finds where each key is used, and reports missing, unused and broken keys. A CLI, a language server, a VS Code extension, a UI and MCP tools share one engin
翻譯準備中
api-anything
Turn any website into an API your agent can call. Learns from the site's own frontend, heals itself when the site changes.
翻譯準備中
TraceRoot
TraceRoot is an open-source, agent-native improvement layer for AI agents. Bring production traces, detector signals, and evals into your coding workflow.
翻譯準備中
Agenvoy
Taiwan-built, self-hosted AI agent harness in a single Go binary — writes its own tools, sandbox-tests them, and shares them over MCP with Claude Code and Codex.
翻譯準備中