Hacker News：AI 热帖· damianabramov·· 9 天前AI 评分58
Untyped 发布：用 TLA+ 规范检查已记录的 AI 智能体运行
Show HN: Untyped – check recorded agent runs against a TLA+ spec
AI 导读
Untyped 是 untyped.ai 发布的开源 MIT 工具，可用 TLA+ 规范模型检查 AI 智能体 harness 与副作用工具之间的协议，并校验 JSONL 格式的真实运行记录。
来源：Hacker News：AI 热帖 · github.com