Nový otevřený projekt Untyped kontroluje protokol mezi AI agentem, běhovým prostředím a nástrojem, který provádí skutečné změny. Pomocí specifikace v TLA+ zkoumá, zda opakované pokusy neprovedou stejnou operaci dvakrát, zda destruktivní akci předchází schválení a zda volání nepřekročí rozpočet. Umí také porovnat zaznamenaný běh ve formátu JSONL se stejnou specifikací. Výsledek rozlišuje porušení pravidla od případu, kdy záznam vůbec neodpovídá modelovanému protokolu. Samotný jazykový model se nekontroluje; nástroj se soustředí na řídicí mechanismy okolo něj. Úspěšná kontrola platí pouze pro zadané hranice a konkrétní záznam, nikoli jako univerzální důkaz správnosti kódu. Projekt má licenci MIT a pro spuštění ukázek vyžaduje Javu 11 nebo novější.
