500 星的代码图谱:跑分赢了四家头部,星却只有它们的零头
它是什么 一个开源工具,把代码库建成「谁调用谁」的图,让 Claude Code、Codex、Cursor 这类编程 agent 改代码前先查会波及什么、该跑哪些测试。
为什么火了 其实没怎么火:约 500 星来自一次 10 分的 Show HN、Reddit 自荐、插件目录自动收录、一个很可能买的 Trendshift 推广位,外加两批机器号刷的 fork;npm 累计下载只有约 4,100 次。
C你可以怎么跟 别再做通用代码图谱;挑头部按名字匹配容易出错的语言或场景(Go、Rust、C++、monorepo),学它拿编译器当裁判、点名对比头部的跑分图,用 MIT 许可和一行安装,再配一段对比视频发 X 和 Reddit。
- 数据(每天更新) · 建库 2026-08-22 · 518 星 · 7 天 +113
GitHub · 星数 数据 2026-10-14 → 2026-11-08(26 天,26 次观测)。10-28 以前的点来自 deeply / 存档补录,不是每天都有
AxiomCode Graph 把代码库建成一张「谁调用谁」的图,给 Claude Code、Codex、Cursor 这类编程 agent 查。在它自己做的测试里,它把四个几万到十几万星的同类全比下去了。可是建库 76 天,它只有约 500 星,其中一部分还是刷的。如果你也想在「给 AI agent 配代码图谱」这个品类里做一个开源项目拿 star,它是一个很好的反面例子:光技术更准,在晚到的拥挤品类里换不来星。
一条 10 分的 Show HN,和一个被追问的问题
2026 年 10 月 14 日 16:36(UTC),团队成员 HaoleiZ 在 Hacker News 发了《Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods》。16 分钟后出现第一条回复,只有一句「Formal verification code graphs are the need of the hour」,发帖人 spaliwal26 是团队里的人。
整个帖子最后 10 分、8 条评论。真正的外部提问只有一条,用户 math93 问:「你们的形式化方法用在哪?跟别的给 agent 用的代码图谱有什么不一样?」HaoleiZ 的回答是这个项目最值钱的一句话:别家大多靠 tree-sitter、启发式规则或字符串搜索,他们用 Datalog 式规则推导,在 Defects4J 基准上准确率 94.9%,Graphify 是 48.7%。
那天它有 110 星。到 11 月 6 日是 507 星(GitHub,11-06)。
它是什么
你给它一个代码仓库,它把每个函数「被谁调用、调用了谁」算出来,存成一张图。agent 改代码之前先查这张图,就知道这次改动会波及哪些方法、该跑哪些测试,不用一遍遍 grep,也能省 token。
它跟同类的区别在「怎么连线」。多数代码图谱用 tree-sitter 解析语法,看到 save() 就按名字去找叫 save 的函数;AxiomCode 像编译器那样,先看调用者的类型,再确定调的是哪一个 save。README 首屏解释了为什么这一点要紧:选测试要顺着调用链往回走好几跳,一跳连错,后面的测试全丢。
装法覆盖了几乎所有主流 agent:npm 包 @axiomcode/code-graph,带 CLI 和 MCP server,还有 Claude Code、Codex、Copilot、Gemini、Cursor、Windsurf、Devin 的插件。正式支持 Java、TypeScript、Python,JavaScript 和 C# 是 beta。
背后是一家公司 AxiomCode Inc。官网写着这个图谱「为 AxiomEngine 提供结构化代码上下文」,下一步是把工程规格翻成形式化规则,验证 agent 改的代码。也就是说,这个开源库是给商业产品引流的。许可证是 FSL-1.1-Apache-2.0,源码公开,但两年内不准拿去做竞品,严格说不算开源。
跑分:它拿编译器当裁判
这个项目做得最好的一件事,是选了一个没法争的打分方式。
| 在 748 个 Defects4J 真实 bug 上,选出的测试覆盖全部「能暴露 bug 的测试」的比例 | |
|---|---|
| AxiomCode | 94.9% |
| GitNexus(48k 星) | 61.5% |
| codegraph(77k 星) | 52.3% |
| Graphify(143k 星) | 48.7% |
| 只按名字 grep | 46.8% |
| code-review-graph(33k 星) | 21.9% |
数据来自它的 README,星数是 11-06 的 GitHub 数。另一组测试里,它用 Java 字节码和 TypeScript 类型检查器的结果当标准答案,看每条调用连对了没有,TS 上它 88.8%,codegraph 65.4%。
这是自家基准,但方法公开、裁判是编译器,点名对比的都是头部项目,在这个品类里少见。缺的一块是 Serena(31k 星):它走 LSP 语言服务器,本身就有类型信息,技术路线最接近,表里却没有它。
星是从哪来的
没有哪一次真正爆开。能找到的来源只有这些:
- Show HN(10-14):10 分。从这天起,每天涨 8 到 26 星。
- Trendshift 推广位:技术博客 Fervor AI 10-20 的文章写,它「本周出现在 Trendshift 一个推广的 featured 位上」。Trendshift 的广告按点击收费,$0.70 一次,最低 $100。10-15 到 10-22 它每天稳定涨 15 到 25 星,时间对得上,所以很可能是买的(推断,没看到投放记录)。
- Reddit 自荐:r/coolgithubprojects 有一帖《I built an open-source code graph for Claude Code…》,分数和评论没查到。
- 自动收录:skillsdirectory.com、claudepluginhub.com、githubsignals.io、hnshowcase.com 这类站会自动抓 GitHub 生成页面,还有几家 AI 改写的新闻站,其中一篇连它是做什么的都写错了。没有一个独立的大号或媒体写过它,X 上近 90 天搜不到人提它。
还有一部分是刷的:
- 10-28 凌晨 03:49 到 05:23(UTC),新增 56 个 fork,差不多一分钟一个。账号名是 VicentaKoelp、Cletus1Pagac、Evie5Kilback 这种,一看就是假数据生成器造的姓名;抽查的几个都是 6 月下旬注册、几十个公开库、0 粉丝。当天星数 +81,第二天 −44,很像 GitHub 清理假号后把星收回去了。
- 10-07 有 12 个 fork 在六分钟内连续出现,账号名带 -cmd、-glitch、-ai 这类批量号常见的后缀。
是团队自己刷的,还是刷量服务拿热门新库养号顺手刷的,外面分不清。
真实使用也很少。npm 从 9 月 20 日到 11 月 5 日累计下载 4,102 次(npm 公开数据),高峰都落在发版当天,平时一天一二十次。69 个 open issue 里,绝大多数是主力开发者自己开的。HN 上唯一一条像用户反馈的评论说「在我 80k 行的 TS 项目上试了,性能和其他图谱差不多,调用深度更准一些」,发帖人的名字和一位贡献者几乎一样。
谁在跟它抢:一个半年就挤满的品类
「给 Claude Code / Codex 配代码图谱,省 token」是 2026 年最热的开源品类之一:
| 项目 | 上线 | 星(11-06) | 路线 |
|---|---|---|---|
| Graphify | 2026-04 | 142,885,近 7 天 +4,361 | 代码、文档、SQL、PDF 一起建知识图谱 |
| codegraph | 2026-01 | 76,773 | tree-sitter 预建索引、自动同步 |
| GitNexus | 2025-08 | 48,288 | 不用服务器,浏览器里跑 |
| code-review-graph | 2026-02 | 32,607 | 偏 code review |
| Serena | 2025-03 | 31,123 | LSP,有类型信息 |
| code-graph-rag、CodeGraphContext、axon、roam-code 等 | 2025–2026 | 0.5k–5.3k | tree-sitter + 图数据库 + MCP |
| Graphicle | 2026-10-14 | 509 | Rust,代码图谱加记忆,和它同天出现 |
再往上还有 GitHub 的 CodeQL、Sourcegraph,以及 Claude Code、Cursor 自带的 grep、语义索引和 LSP,已经能满足大多数「找调用方」的需求。
AxiomCode 比头部晚了 6 到 12 个月,星数是 Graphify 的三百分之一。
为什么更准却没拿到星
- 这个品类拿星靠的是「一行装好、马上省 token」。精度的好处要在大型 Java/TS 项目、改动跨好几跳的时候才看得出来,读者扫一眼 README 感觉不到。
- 门槛劝退人:要 Node 22.13 以上,还要 Python;许可证是 FSL 不是 MIT,一部分开发者看到就走了。
- 它没打算靠星活:这是公司的引流件,真正要卖的是后面的形式化验证。星多星少,对它没那么要紧。
- 分发只做了最便宜的几步:一次 Show HN、一次 Reddit、一个可能买的广告位,没有 X 上的演示视频,也没有找人写测评。头部那几家起量,靠的都是在 X 和 Reddit 上被人转。
如果是你
判断:「给 agent 配代码图谱」这个品类已经挤满,头部十几万星,后来者一个月攒 500 星都难。照着 AxiomCode 再做一个通用代码图谱,不值得。值得学的是它证明自己的办法。
适合谁:对某一门语言的类型系统、编译器或静态分析很熟,能在一个窄场景里做到明显更准的人。
不适合谁:想做一个「什么语言都支持、什么 agent 都接」的通用图谱的人。这条路上已经有 Graphify 和 codegraph,你也拿不出它们的转发量。
怎么做:
- 挑头部没做好的窄口子:Go、Rust、C++、Kotlin、Swift 这类 tree-sitter 按名字匹配特别容易错的语言,或者 monorepo、跨服务调用这种场景。
- 学它的跑分:拿编译器或语言服务器的结果当标准答案,在公开基准上点名对比头部几家(记得把 Serena 放进去),做成 README 首屏的一张图。这张图是你在 HN 上被追问时的底气。
- 安装要一行,许可证用 MIT 或 Apache,不要额外装运行时。
怎么获客:Show HN 照发,但更要录一段 30 秒的对比:同一个改动,用 Graphify 漏了哪几个测试,用你的全选中了,发到 X 和 r/ClaudeAI、r/LocalLLaMA。把插件提交到 Claude Code、Codex 的插件市场,让那些自动收录站顺手带一点长尾流量。Trendshift 广告最低 $100,可以试一次看转化。别刷 fork、刷星:Faker 名字加一分钟一个,谁都看得出来,第二天还会被收回去。
什么时候之前:Claude Code、Cursor 自带的代码索引和 LSP 一直在变强。等「找调用方、选测试」成了 agent 自带的功能,第三方图谱的空间会更小。动手要趁 2027 年上半年之前。
什么情况说明看错了:如果 AxiomCode 接下来靠这张跑分图涨到几千星,说明「更准」本身就能拿到星,那就该正面跟头部比精度,不必躲去窄语言。反过来,如果 Graphify 这样的头部补上类型解析,窄口子也会被填上。
研究底稿:竞品表、获客证据、完整研究报告
- 竞品
名字 在哪 上线 规模 它和这家不同在哪 Graphify-Labs/graphify 开源 2026-04 142,885 星,近 7 天 +4,361 Graphify 把代码、文档、PDF 一起做成知识图谱,广而按名字匹配;AxiomCode 只做代码,靠类型解析求准(Defects4J 94.9% 对 48.7%) colbymchenry/codegraph 开源 2026-01 76,773 星 tree-sitter 预建索引、自动同步;AxiomCode 是类型感知,TS 调用链接 88.8% 对 65.4% abhigyanpatwari/GitNexus 开源 2025-08 48,288 星 零服务器、浏览器里跑的 tree-sitter 图谱;AxiomCode 基准里拿它当最强对手(61.5% 对 94.9%) tirth8205/code-review-graph 开源 2026-02 32,607 星 偏 code review 的本地图谱;基准分数最低 oraios/serena 开源 2025-03 31,123 星 走 LSP,同样有类型信息,技术路线最接近;AxiomCode 的基准没拿它比 Graphicle-AI/graphicle 开源 2026-10-14 509 星 同期新冒出来的 Rust 代码图谱加记忆,体量相当 GitHub CodeQL / Sourcegraph 大厂功能 多年 CodeQL 10k 星;Sourcegraph 商业产品 CodeQL 也是 Datalog 式查代码,但做安全扫描;AxiomCode 把这套思路做成 agent 插件,用来做影响分析和测试选择 Claude Code / Cursor 自带的 grep、语义索引、LSP 大厂功能 2025- 所有用户 自带工具够用于大多数「找调用方」的需求;AxiomCode 主打多跳影响和测试选择更准 - 用户从哪来
- 查实 Show HN:2026-10-14 HaoleiZ 发 Show HN,10 分、8 条评论,有团队成员 spaliwal26 帮腔;当天开始每天稳定涨星
- 推断 Trendshift 推广位(付费广告):Fervor AI 10-20 文章说它「本周出现在 Trendshift 一个推广的 featured 位上」;Trendshift 广告 $0.70/点击、最低 $100;10-15 至 10-22 每天 +15 到 25 星和投放时段吻合
- 查实 Reddit 自荐:r/coolgithubprojects 帖「I built an open-source code graph for Claude Code would love your…」,分数未知
- 查实 插件/技能目录和 AI 改写站自动收录:skillsdirectory.com、claudepluginhub.com、viralagent.si、githubsignals.io、hnshowcase.com、zicq.com 等都有页面
- 查实 刷 fork / 刷星:10-28 03:49–05:23 UTC 每分钟约 1 个、共 56 个 fork,账号是 Faker 造的名字(VicentaKoelp、Cletus1Pagac 等),注册于 2026-06,0 粉丝;10-07 六分钟 12 个 -cmd/-glitch 后缀号 fork;10-28 +81 星,次日 −44
AxiomCode Graph(AxiomCodeAI/axiomcodegraph)为什么能跑出来
研究日期 2026-11-06。渠道:GitHub。数据卡:/home/ljr/fanout/why/cards/gh_AxiomCodeAI__axiomcodegraph.json
一句话结论
它其实没跑出来。 它是「代码知识图谱给 AI 编程 agent 用」这个已经很挤的赛道里一个晚到、技术上确实不一样的创业公司产品:用类型解析和 Datalog 式的形式化规则建调用图,别家用 tree-sitter 按名字猜。约 500 星主要来自四处:一次 10 分的 Show HN、Reddit 自荐、自动抓取的技能/插件目录,外加可能是买的 Trendshift 广告位。数据里还有两批明显是机器号的 fork,10-28 那天的涨星第二天被 GitHub 回收了一部分。真实使用量很小:npm 从 9 月下旬到现在累计下载约 4,100 次,多数集中在发版当天。
一、它是什么
- 把代码库建成一张调用图(谁调用谁、改动会波及哪些方法和测试),通过 CLI、MCP server、Claude Code / Codex / Copilot / Gemini / Cursor / Windsurf / Devin 插件给 agent 查询。支持 Java、TypeScript、Python,JavaScript 和 C# 是 beta,另有 HTML/CSS 和 XML/YAML 配置。(README:github.com/AxiomCodeAI/axiomcodegraph)
- 公司是 AxiomCode Inc。许可证是 FSL-1.1-Apache-2.0,源码可见但两年内不准商用竞争,不算严格开源。官网 axiomcode.ai 写着「AxiomCode Graph 为 AxiomEngine 提供结构化代码上下文,做更深的形式化验证」,下一层是把工程规格翻成形式化规则,用来验证 agent 改的代码。可见这个开源库是商业产品的引流入口。
- 团队:GitHub 组织 2026-08-20 注册,库 08-22 建立,v0.1.0 在 09-25 发布(发布文章日期 09-24)。提交几乎全出自 swapnilpaliwal-sd(1,948 次,简介「Representing and building AxiomCode」),其他贡献者是 HaoleiZ / JaredHLZhang、rongzhichen、G6KlayWang、Whua689、suyashpaliwal26 等小团队成员。来源:GitHub API contributors。
二、增长数据
| 日期 | 星 | 当日涨 | fork | 来源 |
|---|---|---|---|---|
| 10-14(Show HN 当天) | 110 | – | 14 | 我们 github 库(deeply 源) |
| 10-15 至 10-22 | 124→257 | 每天 8–26 | 14→24 | 同上 |
| 10-23 至 10-27 | 262→315 | 每天 1–30 | 23→28 | 同上 |
| 10-28 | 396 | +81 | 84(+56) | census |
| 10-29 | 352 | −44 | 86 | snap |
| 10-30 至 11-06 | 365→494 | 每天 13–24 | 86→87 | snap |
- 11-06 当天 GitHub API 显示 507 星、87 fork、19 watch。近 7 天涨 129,前 7 天涨 103,建库 76 天,没上过 trending(60 天内的库本来就上不了,这一点说明不了什么)。
- npm
@axiomcode/code-graph在 2026-09-20 至 11-05 累计下载 4,102 次。峰值落在发版日:10-25 177、10-27 169、10-29 306、11-05 328,其余日子多是一二十次。(api.npmjs.org) - 69 个 open issue 不能当作用户活跃的证据。最近 100 条 issue/PR 里,31/36 条 issue、58/64 条 PR 出自 swapnilpaliwal-sd 本人,其余也基本是团队成员和 CI 机器人。能看到的外部用户反馈只有 HN 上一条:「在我 80k 行的 TS 项目上试了,性能和其他图谱工具差不多,调用深度更准一些」。评论者 Whua33,很可能就是贡献者 Whua689。
数据质量:有明显的买量/刷量痕迹(已核实)
- 10-28 那批 56 个 fork:03:49 到 05:23 UTC 之间,大约每分钟一个。账号名清一色是 Faker 造假数据生成的英文姓,比如 VicentaKoelp、othawuckert、goldabergnaum、Cletus1Pagac、Eric2Smitham、Oda1Zieme、Evie5Kilback、Cordie6Wisoky、Willis18Hoppe、Albert368892Leffler、Reinhold24Waelchi。抽查 5 个,4 个注册于 2026-06-21 至 06-25,每个号几十个公开库、0 粉丝。同一天星数 +81,第二天 −44,符合 GitHub 清理假号后回收星数的样子。(GitHub API /forks、/users)
- 10-07 那批 12 个 fork:05:15 到 05:21 UTC 六分钟内连续出现。账号名带 -cmd、-glitch、-cloud、-ai、-cyber、-del 后缀,比如 alirezaalirezaalireza13711-cmd、sabakhansee33-glitch、nicolewilliams8994-ai,是常见的批量号特征。
- 星标明细的 API 对这个库和对照库都返回 404,所以没法按人核查 stargazer。10-30 以后每天稳定涨 13–24 星,看不出是自然增长还是匀速灌星(未核实)。
三、用户从哪来(增长手段)
- Show HN(已核实):2026-10-14 由 HaoleiZ 发出,10 分、8 条评论。评论里有团队成员 spaliwal26 帮腔,另一条用户反馈可能也是团队成员发的。(https://news.ycombinator.com/item?id=50090514)星数正是从这天开始每天涨十几到二十几。
- Trendshift 推广位(大概率是付费):Fervor AI 10-20 的文章写这个项目「本周出现在 Trendshift 一个推广的 featured 位上」。Trendshift 卖原生广告,首页信息流和侧栏都有,按 $0.70/点击计费,最低 $100,号称每月 1,600–2,200 次点击。(https://fervorai.dev/articles/axiomcode-graph-gives-coding-agents-a-call-graph-instead-of-grep/ 、trendshift.io/advertise)它在 10-15 到 10-22 每天稳定涨 15–25 星,和投放时段吻合,但没拿到投放记录,只能说「强推断」。
- Reddit 自荐(已核实存在,内容没读到):r/coolgithubprojects 有一帖「I built an open-source code graph for Claude Code would love your…」。Reddit 拦了抓取,分数和评论未知。
- 自动收录的长尾:不少站点会自动抓 GitHub 生成页面,比如 skillsdirectory.com(Grade A Claude Skill)、claudepluginhub.com、viralagent.si、githubsignals.io、hnshowcase.com、linuxcommandlibrary.com,还有 zicq.com、mortaf3.com 这类 AI 改写的新闻站(zicq 那篇连产品是什么都写错了)。这些都是被动曝光,没有一个是独立大号写的。
- 刷 fork / 刷星(已核实有):见上一节。
- 蹭名(无意的可能性更大):「Axiom」这个名字在 2026 年被 Axiom Math(估值 16 亿美元、做形式化证明)占满热度,X 上搜「AxiomCode」出来的全是 @axiommathai。两边定位都是「形式化方法验证 AI 写的代码」,有可能沾到一点光,但没找到用户把两家搞混的直接证据。
- X / TikTok / 媒体:x-radar 近 90 天搜「axiomcode」是 0 条,Brave 也没找到任何 X 大号提过它。没有媒体报道,没有 Product Hunt。
四、竞品(都在我们 github 库里查过,星数是 2026-11-06 的数)
| 产品 | 类型 | 上线 | 规模 | AxiomCode 跟它的区别 |
|---|---|---|---|---|
| Graphify-Labs/graphify | 开源 | 2026-04 | 142,885 星,近 7 天 +4,361 | Graphify 把代码、文档、SQL、PDF 一起变成知识图谱,覆盖面广;AxiomCode 只做代码调用图,但靠类型解析做精确,自家基准里 Defects4J 测试选择 94.9% 对 48.7% |
| colbymchenry/codegraph | 开源 | 2026-01 | 76,773 星,+901 | codegraph 用 tree-sitter 预建索引、自动同步,给 Claude Code/Codex 用;AxiomCode 卖点是类型感知,TS 调用链接 88.8% 对 65.4% |
| abhigyanpatwari/GitNexus | 开源 | 2025-08 | 48,288 星 | GitNexus 主打零服务器、浏览器里跑;AxiomCode 拿它当「最好的 tree-sitter 对手」(61.5% 对 94.9%) |
| tirth8205/code-review-graph | 开源 | 2026-02 | 32,607 星 | 偏 code review;基准里分数最低(21.9%) |
| oraios/serena | 开源 | 2025-03 | 31,123 星 | Serena 走 LSP 语言服务器,本身也有类型信息,是技术路线最接近的对手。AxiomCode 的基准表没拿 Serena 比 |
| vitali87/code-graph-rag、CodeGraphContext、harshkedia177/axon、Cranot/roam-code | 开源 | 2025–2026 | 0.5k–5.3k 星 | 都是 tree-sitter/图数据库 + MCP,同质化严重 |
| Graphicle-AI/graphicle | 开源 | 2026-10-14 | 509 星,+66 | 同期新冒出来的同类(Rust,代码图谱 + 记忆),体量和 AxiomCode 差不多 |
| github/codeql、Sourcegraph(SCIP/Amp) | 大厂功能 | 多年 | CodeQL 10k 星;Sourcegraph 商业产品 | CodeQL 也是 Datalog 式查询代码,但面向安全扫描;Sourcegraph 是「给人和 agent 的代码上下文层」。AxiomCode 等于把 CodeQL 那种形式化查询的思路做成了 agent 插件 |
| Claude Code / Cursor 自带 LSP 和代码索引 | 大厂功能 | 2025– | 所有用户 | agent 自带的 grep、语义索引、LSP 已经覆盖了大部分「找调用方」的需求;AxiomCode 要证明多跳影响分析和测试选择比这些强 |
赛道里头部几家都是几万到十几万星。AxiomCode 晚了 6 到 12 个月进场,星数是头部的零头。
五、为什么(没)跑出来
- 时机:2026 年「给 Claude Code/Codex 配代码图谱省 token」已经是爆款品类,Graphify 半年 14 万星、codegraph 7.7 万星。AxiomCode 是跟着品类热度进来的,这股热度让它的 HN 帖和插件目录收录有人点进去。
- 产品:差异化真实而且能验证。它拿编译器结果当标准答案打分(Java 字节码、TS 类型检查器),在 Defects4J 的 748 个 bug 上做测试选择,直接点名对比四个头部竞品。这是这个品类里少见的硬基准,也是 HN 上唯一被追问的点。
- 分发:没有自然爆发。路径是 Show HN(10 分)→ Trendshift 广告位(大概率付费)→ Reddit 自荐 → 自动目录收录。同时有两批机器号刷 fork,刷星被部分回收。日增十几到二十几星,和小额付费投放的效果差不多。
- 使用:npm 累计约 4,100 次下载,且集中在发版日;外部 issue 几乎为零。没有证据显示有成规模的真实用户。
六、差异化是不是它跑出来的原因
差异化有三点:类型感知,而不是 tree-sitter 按名字匹配;Datalog 式规则推导,每条边带确定性标签;拿编译器当标准答案打分。这些都是真的,可以检验,也正好打在头部竞品的软肋上,也就是多跳调用链一断就全丢。但这只帮它在 HN 上换来了「怎么不一样」的追问,没有变成增长。原因有三:一是赛道看重「一行装好、马上省 token」,精度带来的好处要在大型 Java/TS 项目、多跳改动时才看得出来;二是基准里没放 Serena 这个同样有类型信息的对手;三是 FSL 许可和 Node 22 加 Python 的安装门槛都劝退了一部分人。所以差异化现在还不是它的增长原因,只是它将来卖给企业(AxiomEngine 形式化验证)的技术底子。
七、可见度与跟风
- 可见度:还没什么人知道。没公开收入,没有媒体报道,X 上 0 提及,只有一次 10 分的 Show HN,加上若干自动抓取站和 AI 改写站。
- 跟风者:没有。现有的 fork 是团队成员和机器号。
八、能借鉴的
- 在拥挤品类里做后来者:选一个能用「标准答案」客观打分的指标,比如拿编译器结果、Defects4J 打分,点名对比头部几家,做成 README 首屏的图。这是低成本建立技术可信度的好办法。
- 一套引擎做成一个 npm 包加多家 agent 插件市场一键安装,一次覆盖 Claude Code、Codex、Copilot、Gemini、Cursor、Windsurf、Devin,顺带蹭到各家插件目录的自动收录。
- Trendshift 按点击计费($0.70、最低 $100),是给新 GitHub 库买开发者曝光的便宜渠道,可以试。
- 反面教训:刷 fork 和刷星很容易被看穿(Faker 名字、每分钟一个、第二天回收),对想卖企业客户的公司是负资产。
九、还不确定的
- Trendshift 推广位是不是他们自己花钱买的:只有 Fervor 一篇文章的说法,没看到投放记录。
- 10-07 和 10-28 两批 fork 是团队自己刷的,还是第三方刷单服务顺带的(有些刷量服务会刷热门新库来养号):号的特征是确定的,下单的人不确定。
- stargazer 明细查不到,10-30 以后的匀速涨星里有多少是真人,未核实。
- Reddit 帖子的分数和评论未知;团队背景和融资没查到(LinkedIn 有 haolei-zhang,但被登录墙挡住)。