Forall – OpenSpec but with actual machine-checkable verification 是一个「research」类 AI agent,解决:通过机器可验证的逻辑校验机制自动化验证技术文档与规范以解决验证难问题。定价:产品页未标明。截至 2026-09-11,KanonAgent 记录到 2 票。本站首次收录于 2026-07-20。
Forall 是一个基于 OpenSpec 的开源规范平台，引入机器可验证的逻辑校验机制，解决技术文档与规范难以自动化验证的痛点，适合开源社区与工程团队。
2 票
Kanon 于 2026 年 7 月 20 日 收录
还没有信号事件 —— 状态是未知,不是「平静」。
📈 时间线什么时候变了什么
- 首次观测 Kanon 开始为它保留永久历史
🔎 已知 / 未知
23 个字段里 11 个未知
| 可机器调用 | — | 未知 | — |
| 开源 | 1 | 推断 | 1 条引文 |
| 可自托管 | 1 | 推断 | 1 条引文 |
| 需自带 key | 1 | 推断 | 1 条引文 |
| 自主度 | 2 | 推断 | 1 条引文 |
| 计费模式 | — | 未知 | — |
| 集成面 | mcp,discord | 推断 | 2 条引文 |
「未知」= 我们没核实过,**不等于「否」**。硬性筛选永远不会把未知当成否。
🤖 Agent 拆解 · research
解决什么场景通过机器可验证的逻辑校验机制自动化验证技术文档与规范以解决验证难问题
自主度L2 · 有工具调用(引文: "Your coding agent edits the workspace from verify reports…")
目标市场开源社区/工程团队
前置条件开源 · 可自托管 · 需自带 API key
集成面mcp · discord
为什么值得关注
将规范文档从‘可读’升级为‘可验证’，是提升工程可信度的关键基础设施创新。
证据引文判定所依据的原文 · 逐字引用
“public GitHub repository (README fetched)”— structural
“Install Forall CLI”— readme
“bring your own model API key”— readme
“Your coding agent edits the workspace from verify reports”— readme
“add hosted verification via MCP.”— readme
“https://discord.com/invite/gESuZkdD5R”— readme
信号来源: Show HN
访问官网 →
📛 官方徽章挂到官网 / README
你是 Forall 的作者?上面选样式,嵌入代码实时更新;要贴合站点配色可在 URL 上加 bg= / fg= / accent=(十六进制色)。徽章链回本页。
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
常见问题
Forall 是什么?
Forall 是一个基于 OpenSpec 的开源规范平台，引入机器可验证的逻辑校验机制，解决技术文档与规范难以自动化验证的痛点，适合开源社区与工程团队。
Forall 解决什么问题?
通过机器可验证的逻辑校验机制自动化验证技术文档与规范以解决验证难问题
Forall 为什么值得关注?
将规范文档从‘可读’升级为‘可验证’，是提升工程可信度的关键基础设施创新。
Forall 是开源的吗?
是。Forall 为开源项目。
Forall 能自托管吗?
可以。Forall 支持自托管部署。
Forall 能接哪些工具?
mcp,discord
Forall 有多少人在用?
KanonAgent 记录到:2 票(本站首次收录于 2026-07-20)。
Forall 有什么替代品?
KanonAgent 库内的同类 agent:Winninghunter、Stealth Venture、Hidden Business、ragflow、Dropkiller、DataExpert / TechCreator。