Show HN: Untyped – check recorded agent runs against a TLA+ spec
By damianabramov · 2026-10-04 · 2 points · 0 comments
https://github.com/untyped-ai/untyped
Hi, lots of talk about TLA+ lately, so I just published my work on the topic. The tool checks an agent harness design and its recorded runs to find invariant breaks. I believe it will help make your code hold up under retries and crashes. Sure you know your invariants?
Open the full discussion on BetterNews