Eggshell

发布之后的表现

收入:indie(TrustMRR)库里没有库。产品本身开源免费,没有可验证的收入来源。

用户 / 下载:appstore、googleplay、macappstore 库里没有它库(数据包命中的 GitHub iOS/Android App 是同名误配,与本品无关)。chromestore 库里没有。没有下载量或用户数可查。

开发者关注:GitHub 库没有 momonpya/eggshell(不到 50 星的老库不在名单上)库。GitHub 网页显示:26 star、0 fork、0 watcher、51 commits、3 个分支、1 个 tag、Apache-2.0官网。fork/star 比 = 0%,对 26 星的库来说属于「几乎零 fork」——说明有人点星但没人真正拿去改或部署。最后一次提交 2026-10-10(PR #6 合并),此后无提交官网。作者主页显示 2026 年只有 9 月 13 日一天有 7 次贡献,其余空白官网。

讨论:hackernews 库里没有这两条(分数低于采集门槛)库;直接查 HN 网页:2026-08-29 由 o8_vm 提交「Eggshell – Local work memory across independent Codex chats」,1 分、0 评论;2026-10-11 由 o8vm 提交「Eggshell is an open-source token-saving tool built in Lean4」,3 分、0 评论HN 网页。x 本地库里没有提及库。LibHunt 收录了它,但只统计到 2 次提及libhunt.com/r/eggshell。

官网动态:仓库仍在,README 完整(安装、demo、benchmark、隐私说明),但内容停在 2026-10-10 的版本。README 自报一组 token 节省数据:2026-10-10 用 Clang Driver 三个调查任务对比,「首轮」省 76.0%、「累积记忆后」省 96.4%,并明确标注「一次序列、无随机性控制、不是普遍保证」自报/官网。没有 changelog、博客、融资或收购消息。

自报 vs 实际

• 自报:demo 里「第二次对话省 81.8% token」、benchmark 表「总省 76.0% / 96.4%」自报。这些是作者自己跑的单次实验,README 自己承认「one pair」「not a statistical comparison」,没有第三方复现,库里也没有任何独立数据可对。无法核实,只能当营销数字看。
• 自报:「open source and written in Lean」自报——与 GitHub 页面一致(Lean 4.33、Apache-2.0)官网,这一条对得上。
• PH 票数 75库与发布日 74库基本一致,无异常。

为什么成了 / 没成

没成,而且停得很干脆。 三个信号叠在一起:①GitHub 26 star / 0 fork,点星的人没有一个真的用起来——对一个「装插件、跑 setup、下模型」的工具来说,0 fork 意味着连试用门槛都没跨过;②HN 两次投稿 1 分和 3 分、0 评论,连讨论都没激起;③最后一次提交 2026-10-10,距发布不到一个月就停了。

原因我推断有三层:第一,分发面太窄——首发只做 Codex 插件,而 Codex 插件生态当时刚起步,受众本来就小;第二,安装摩擦高——README 要求 macOS/Linux + ARM64/x86-64 + Python 3 + Codex CLI 支持 hooks,还要下本地搜索模型,「29 秒 demo」背后是十几步 setup;第三,赛道极挤——GitHub 上同类「agent memory」项目动辄几万 star(mem0 68234、claude-mem 108984、cognee 32981)库 github,一个 26 星、单人、用 Lean 写的项目没有任何可见的差异化入口。用 Lean 4 写核心引擎是技术亮点,但对用户不是购买理由。

对想跟的人

这个方向还有位置,但不是这个位置。看 GitHub 库:同赛道头部 thedotmack/claude-mem 428 天 108984 star、7 天涨 5740,vectorize-io/hindsight 7 天涨 4108——说明「agent 记忆」需求是真的,但赢家是跨 harness(Claude Code + Codex + Cursor 通吃)+ 低安装摩擦的。Eggshell 的 0 fork / 26 star 恰恰证明:只绑一个 Codex、要用户手动跑 setup 脚本的方案,连试用都换不来。最大的坑是把「技术优雅」(Lean 形式化验证)当成「用户价值」,以及在头部项目已经几万 star 的赛道里做单点工具。要做就跟跨 harness、零配置、能立刻看到 token 账单下降的方向,而不是再写一个本地记忆引擎。

没查到的

• indie(TrustMRR):没有它——开源免费产品,本就不该有收入档案。
• appstore / googleplay / macappstore / chromestore:全无(非商店产品)。
• x 本地库:无提及;x live 未开(付费接口),创始人 X @o8_vm 的近期发言没查到。
• 无法回答:实际安装量 / 使用人数(开源项目无此数据)、是否有隐藏的付费计划、作者是否已放弃该项目(只能从「6 周无提交」推断)。