Facts
停了 证据强度 中 开源 PH 发布 2026-05-05 · 73 票
- 官网
- github.com/av/facts(作者个人站 av.codes/)
- PH
- www.producthunt.com/products/facts-fc3505e0-6206-4a1b-b6b4-0…,2026-05-05,73 票(发布日 71)/ 日榜第 28 名 / 5 条评论
- 一句话
- 给 AI coding agent 用的「事实驱动开发」工具——把项目规格写成一行行可验证的原子断言(
.facts文件),用facts check跑命令验证,替代容易注水的 spec。 - 团队
- 单人。作者 Ivan Charapanau(handle
av/ X@Everlier),白俄罗斯人,2021 年移居波兰官网 av.codes。此前做过 av/harbor(3,259★ 本地 LLM 栈)、av/remotion-bits(505★)等;现职为 Viktor(viktor.com)的 Agent Harness EngineerX 简介 / teapaw.org。 - 收费
- 免费开源,MIT 许可官网 README。无定价页、无付费档;分发渠道为
npx skills add av/facts、curl av.codes/facts.sh | sh、npm@avcodes/facts、pipxfacts-cli官网 README。PH 档案未标价格,无旧档可比。 - 状态判断
- 已经停了——仓库最后一次提交停在 2026-06-03,此后 5 个月零提交、星数冻结在 207,作者已全职转入 Viktor。
- 证据强度
- 中。GitHub 库、PH 库、HN 库三方对上;indie / 商店 / chromestore 库无它。
它在各库的曲线
GitHub · 建库 2026-04-29 · 207 星 · 7 天 +1
Antidote for fluffy specs, a toolkit for fact-driven development with AI agents
数据 2026-10-28 → 2026-11-04(8 天,8 次观测)。10-28 以前的点来自 deeply / 存档补录,不是每天都有
发布之后的表现
收入
- indie(TrustMRR)库:库里没有。按域名 github.com 与名字
facts查均无记录——它是免费开源工具,本就不在「公开收入」的样本里。 - 无任何付费迹象:README 无 pricing / premium / sponsor 字样,官网 av.codes 是个人简历页,无产品定价。
用户 / 下载
- appstore / googleplay / macappstore / chromestore 库:库里没有。数据包里命中的
Facts - Daily Random Trivia、Nutrients - Nutrition Facts等是名字里带 "facts" 的无关 App,与本品无关。 - 唯一可量的用户信号是 GitHub 星数:207★、9 fork库,2026-11-02。
开发者关注
- GitHub
av/facts:207★ / 9 fork,fork/star 比 4.3%(健康,远低于新库 5,000★ 的 ~11% 中位数),suspect为空库。 - 建库 2026-04-29,150 次提交、26 个 tag,但
pushed_at = 2026-06-03库——即发布后约一个月就停止开发。 - 星数曲线:2026-10-28 至 11-02 六天里只涨 1 颗(206→207),
gain_7d/gain_30d为 NULL(观测窗口不足)库。status = 待观察,trending_days = 0,从未上过 GitHub trending库。 - 同作者其他库仍在动:av/harbor 3,259★(pushed 2026-10-31)、av/mi 104★(pushed 2026-10-11)、av/skilled 50★(pushed 2026-09-21)库——说明作者没停手,只是把精力挪到了别的项目。
讨论
- Hacker News:2026-05-04 一条 Show HN「Replacing spec-driven development with just facts」,7 分、4 评论,
front_hours = 0(没上过首页)库。发布者即作者 everlier。 - X 本地库:库里没有
@Everlier的帖(他不在任何圈子名单里)。公开页显示他 1.9K 粉丝、12.8K 帖,近期内容集中在 Viktor 的 agent harness、TraceQuest 等新项目,未见为 Facts 做持续推广teapaw.org/Everlier,公开页。 - PH:1 次发布,35 关注者,0 条 review库。
官网动态
- 仓库仍在,README 完整(安装、命令、wiki 索引齐全),MIT 许可,自述「本仓库用 224 条 facts 描述自己,154 条由命令验证」官网 README。
- 无 changelog 页、无博客更新、无融资或收购消息。作者个人站 av.codes 是简历,不承载该产品。
自报 vs 实际
| 自报 | 来源 | 对账 |
|---|---|---|
| PH 发布日 71 票、日榜 28 名 | 库PH | 一致,但 28 名属中游,未进日榜前列 |
| 「224 facts,154 verified」 | 自报README | 无法第三方核验,属自证 |
| 3,259★ Harbor 等作者战绩 | 自报X 简介 | 与 GitHub 库一致(av/harbor 3,259★)库 |
| 无收入 / 用户自报 | — | 无自报数字,也无库内收入,不存在对不上 |
没有夸大数字。唯一「自报」是 README 的自验证计数,量级小、不涉及商业指标。
为什么成了 / 没成
没成,但属于「小而干净地停掉」而非失败。三点原因:
- 赛道拥挤且被大厂吸收。HN 上 2026 年 3–9 月同类 Show HN 至少 15 条(spec-driven development、spec27、forall、heddle、opsx…),
Get Shit Done一条 473 分库。Facts 的差异化是「把 spec 拆成可执行验证的原子断言」,概念清晰,但 7 分的 HN 反馈说明没打动社区。 - 免费开源 + 单人 + 无商业化路径。MIT、无付费档、无 sponsor,作者没有把它当生意做。indie 库无记录,也就没有收入飞轮。
- 作者精力转移。发布一个月后(2026-06-03)停更,随后他入职 Viktor 做 agent harness,并陆续推出 av/mi、av/skilled、TraceQuest库 / 公开页。Facts 更像一次方法论实验,验证完就收手。
值得肯定的是工程质量:150 提交、26 tag、fork/star 4.3%、无刷星嫌疑,是一次认真的开源交付。
对想跟的人
这个方向有位置,但位置不在「再做一个 spec 工具」。看两个数字:同类 Show HN 一年十几条、最高 473 分,而 Facts 只有 7 分——说明「spec 管理」本身已被讲烂,用户不缺格式,缺的是验证。Facts 唯一没被抄走的点是 command: exit 0 = true 这条可执行断言,以及 207★ 里那 9 个 fork 证明真有人想改它。想跟就做「验证层」:把断言接到 CI、接到 agent 的 pre-merge gate,而不是再发明一种 .facts 语法。最大的坑是免费开源 + 单人——Facts 从 2026-06-03 起零提交就是前车之鉴,没有收入或团队,再好的方法论也撑不过作者换工作。
没查到的
- indie(TrustMRR):无记录(免费开源,本就不在样本内)。
- appstore / googleplay / macappstore / chromestore:均无本品。
- X 本地库:无
@Everlier的帖(不在圈子名单);其公开发帖需走付费实时接口,未查。 - npm / PyPI 下载量:页面被 Cloudflare 拦截,未取到;无法量化 CLI 实际安装量。
- 无融资、无收购、无 changelog、无定价页可查。
档案由 agent 建(deepseek/deepseek-v4.1-flash,27 步,2026-11-01T21:55);〔库〕= 我们自己的库,〔官网〕= 当天抓的网页。