# 开源生态
4 个相关产品 · 中文解读 · 按热度排序
截至 2026-09-11,KanonAgent 库内有 4 个带「开源生态」标签的 AI agent 与工具,本页按真实热度排序。标签由中文拆解自动归纳,不是人工打的;数据可经公开 API 复核。
Open Problem Gallery – Coordinating mathematics research
Open Problem Gallery 是一个协作式数学研究平台，用于汇聚、组织和推进未解数学难题，解决学术研究信息孤岛问题，适合数学研究者与学术社区。
Forall – OpenSpec but with actual machine-checkable verification
Forall 是一个基于 OpenSpec 的开源规范平台，引入机器可验证的逻辑校验机制，解决技术文档与规范难以自动化验证的痛点，适合开源社区与工程团队。
Explore 251 Bevy crates as an interactive constellation
以交互式星图形式探索Bevy游戏引擎的251个开源组件库，帮助开发者快速发现和集成生态资源
Oss Notify
开发者专用的开源项目追踪工具，聚合GitHub中符合个人技术栈的issue，自动推送通知，帮助开发者高效参与开源贡献
其他标签
常见问题
「开源生态」这个标签是怎么归的?
标签来自每个产品的中文拆解(解决什么场景、面向谁),由模型从产品自述里归纳,不是人工逐条打的,也不接受付费打标。
这里的排序依据是什么?
按库内真实热度:投票数 / MRR / 增速,取产品实际有的那个。不是编辑推荐,也不卖位置。
数据多久更新?
追踪持续进行(分钟级),本页于 2026-09-11 生成。全部数字可经公开只读 API 复核:https://kanonagent.com/data