untyped-ai/untyped

Did your agent do it twice? Check a recorded run against a TLA+ spec of the protocol around it.

2 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Untyped – check recorded agent runs against a TLA+ spec (2 points, 0 comments, by damianabramov, 2026-10-04)