Ara(Reason Machines)
- 官网
- reasonmachines.com(ara.so 现 301 跳到这里)
- PH
- www.producthunt.com/products/dereference-the-100x-ide/launch…,2026-05-08,137 票(发布日 126)/ 日榜第 9 / 15 条评论
- 一句话
- Agentic Wispr flow computer-use-agent living in your notch(2026-05-08 那次发布的自述);同一产品线 2026-06-03 改口叫「Self-driving IDE for fast moving engineers」,2026-10-14 又变成「A state-of-the-art coding agent for cost efficiency」
- 团队
- Adi Singh(CEO,UC Berkeley EECS,曾在 Scale AI,此前做过一个 Rust IDE 公司 Dereference)+ Sven Myhre(UC Berkeley / NTNU,挪威 AI 冠军);2 人,旧金山,YC P26YC 公司页
- 收费
- 官网 reasonmachines.com/pricing 抓不到价目表(重定向回首页),现价「抓不到」;旧档:Wayback 2026-04-09 的 ara.so/pricing 是 Free $0 / Pro $20/mo / MAX $200/mo / Enterprise 联系销售,但那一版页面卖的是 Office add-in 套件,不是 IDE官网存档;搜索快照里 ara.so/pricing 曾写「Use Ara for $20 a month … add dollar top-ups」第三方快照,推断。Reason Network 官网明写免费、开源引擎
- 状态判断
- 活着但平——公司活着且在密集迭代(10-27 还在发博客、10-31 还在推代码),但「Ara」这个品牌已经退役,发布热度中等,收入/用户侧一条证据都没有
- 证据强度
- 中(PH 库 6 次发布全对上、GitHub 库对上 reason-network 星数曲线、官网对上;indie / 四个商店库 / HN / X 本地库全无)
发布之后的表现
收入:indie(TrustMRR)库里没有 reasonmachines.com 或 ara.so 的任何档案,for_sale / asking_price / flags / channels / first_seen 全部无从写起库。YC 页说「Bring your own keys and subscriptions」,即用户自带模型额度,收入结构不透明官网。
用户 / 下载:appstore、googleplay、macappstore、chromestore 四个库里都没有这个产品——App Store 里 \bara\b 命中的 10 个 app 全是同名误配(土耳其机票、巴西圣经、The Eyes of Ara 游戏等),Google Play 命中的是 obilet / ENUYGUN 等土耳其 App,Mac App Store 与 Chrome 商店同样没有库。所以没有榜单位置、评分数、安装量可写。
开发者关注:GitHub 组织 reason-machines 在库里有 2 个库。主力是 reason-network(2026-10-16 建库),2026-11-02 为 1430 星、125 fork,fork/star 比 8.7%(同龄同量级正常区间),suspect 为空,最近提交 2026-10-31;但曲线是「先爆后降」:10-22 单日 +313,10-17 到 10-24 从 110 涨到 1137,最近 7 天只涨 209,而前 7 天涨 847,库内状态标为「降温」库。另一个 trending-skills 89 星。产品主库 reason-agent 只有 10 星、reason-cli 7 星、ara-python-sdk 已标 DEPRECATEDGitHub 页面——即开源热度集中在「让各家 agent 互相通信」这个网络组件上,不在 Ara/Reason 本体。
讨论:hackernews 库里 reasonmachines.com 与 ara.so 都是 0 条故事库;x 本地库(5 个圈子约 560 人 core 层)搜 reasonmachines / ara.so / dereference / easyclaw 只命中 1 条无关中文帖,创始人 @xadisingh、@svemyhre 都不在名单里库。也就是说:PH 上发了 6 次、票数中上,但 HN 和 X 核心圈层完全没有接住。
官网动态:站点在线且活跃,最新博客 2026-10-27(Chvátal–Sankoff 常数上界)、2026-10-16(Reason Network)、2026-10-10(Reason Agent 1.1);ara.so 已 301 到 reasonmachines.com,PH 产品页现在展示的也是 Reason官网。融资:YC P26 标准条款 $500K / 7%Fundup AI,第三方,未见后续轮次。
自报 vs 实际
| 自报 | 出处 | 对得上吗 |
|---|---|---|
| 「22% lower costs than Codex」 | YC 公司页 | 无第三方核验;博客自述 15–23% 更低,口径是自家 Harbor job自报 |
| Coding Agent Index 65.1 vs Codex 62.5 | 官网博客 10-10 | 同一篇里承认 Artificial Analysis 10-22 已换 v2.0,分数不可直接比自报 |
| 「Team has done 10,000 PR's in 2 weeks」 | Adi Singh X | 库里无任何收入/用户数据可交叉,无法验证自报 |
| 「used by early fast moving engineers at OpenAI, xAI and Google」 | Sven LinkedIn | 无客户名单、无第三方报道佐证自报 |
| PH 票数 137 / 日榜第 9 | PH 库 | 对得上,但同产品线最高一次是 2025-08 的 Dereference 229 票库 |
为什么成了 / 没成
没成(至少 Ara 这个名字没成)。三条证据:一是品牌寿命只有 5 个月——2026-05-02 首发、06-03 最后一次以 Ara 发布只拿到 8 票(未 featured、日榜 47),10-14 就换成 Reason 重发库;二是渠道全断——HN 0 条、X 核心圈 0 条、四个商店库 0 条,PH 的 116–137 票没有转化成任何可观测的留存或收入库;三是开源注意力错位——1430 星全在 reason-network 这个「agent 互通」组件上,而它 10-16 才建库、最近一周涨星已从 847 掉到 209库。它没成的根因不是技术(harness 成本优化是真本事),而是「self-driving IDE」这个形态在 2026 年被 Codex / Claude Code 这类通用 harness 直接吞掉了:用户不需要换 IDE,只需要更好的 agent,所以团队被迫从「IDE」退到「agent」再退到「agent 之间的网络」。
对想跟的人
别跟「自驱动 IDE」这个壳,跟「harness 成本」这个里子:Reason 敢把 65.1 vs 62.5、$3.96 vs $4.89 每次尝试成本摆出来,说明省 token 是可量化的卖点,而 reason-network 17 天 1430 星、8.7% fork 比也说明「让 Claude Code / Codex 互相说话」是真需求。但最大的坑是渠道:这个团队 PH 六发、票数 116–229,却换来 HN 0 条、X 核心圈 0 条、indie 库 0 收入——如果你没有 YC 的 Bookface 分发和 $500K 兜底,同样的产品大概率连「降温」都轮不到,直接归零。
没查到的
- indie 库:无 reasonmachines.com / ara.so 档案,收入、MRR、订阅数、是否挂牌出售全部未知
- appstore / googleplay / macappstore / chromestore:均无该产品,无榜位、评分、安装量
- hackernews 库、x 本地库:0 命中,无法给出讨论时间线
- 现价:reasonmachines.com/pricing 重定向回首页,抓不到当前价目表;ara.so/pricing 的 Wayback 只有 2026-04-09 一版,且内容是 Office add-in 套件,不能当 Ara IDE 的定价
- 未查到:Companies House / 融资轮次细节、创始人 X 账号的粉丝数与具体推文数据(本地库不含该账号)、PH 评论正文(页面被 Cloudflare 拦)
档案由 agent 建(deepseek/deepseek-v4.1-flash,61 步,2026-11-01T13:32);〔库〕= 我们自己的库,〔官网〕= 当天抓的网页。