Forall：带形式化验证的规格驱动 AI 编程
Show HN: Forall – Spec-driven AI coding with formal verification
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Forall 在 Hacker News 的 Show HN 亮相，主打规格驱动（spec-driven）的 AI 编程，并引入形式化验证。该工具目前获得 7 分、0 条评论，正文未披露更多功能细节、支持的模型或可用性信息。
来源：github.com（经 Hacker News） · github.com