Hacker News Show HN· damianabramov·· 15 天前AI 评分32
Show HN: Untyped —— 用 TLA+ 规范校验 AI Agent 运行记录
Show HN: Untyped – check recorded agent runs against a TLA+ spec
AI 导读
untyped.ai 发布 Untyped，用 TLA+ 规范校验 AI Agent 运行记录：harness.tla（155 行）建模 harness 与带副作用工具间的协议，检查 AtMostOnce、ApprovalBeforeEffect、BudgetHeld 三条不变量，并含 vacuity 检查。
来源：Hacker News Show HN · github.com