智能体
github.com ·
Show HN：Untyped——用 TLA 规范校验已记录的 Agent 运行
Untyped 是一个开源项目，尝试将已记录的 AI agent 运行轨迹与 TLA 形式化规范进行比对校验，在 Hacker News 的 Show HN 板块发布，当前 2 个 HN 积分。项目定位涉及 agent 行为可验证性，但摘要未提供实现方式或验证效果。
AI推荐理由 用 TLA 规范校验已记录的 agent 运行轨迹，属于 agent 可验证性与形式化方法交叉方向，对 agent 可靠性工程有潜在价值；但仅有 Show HN 标题和 2 个 HN 积分，缺少实现细节与验证结果。
62
正文
Untyped – check recorded agent runs against a TLA spec #ShowHn 👉 2 HN Points: https://news.ycombinator.com/item?id=49953789 原文地址: https://github.com/untyped-ai/untyped