Show HN· burcsahinoglu·· 25 天前精选AI 评分71
LLMLL v0.28.0 发布：AI 智能体填类型化空洞，SMT 求解器拒绝错误填充
Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills
AI 导读
LLMLL v0.28.0 发布，这是一个面向 AI 智能体写代码的编程语言与验证流水线：契约声明函数必须做什么，智能体填充类型化空洞，编译器在补丁合入前用 Z3 证明每个函数体满足契约。
推荐理由
LLMLL 把形式化验证做成智能体协作协议，读者可据此判断契约驱动编码的可行边界。
来源：Show HN · github.com