seems like they run the generated response through the typescript type checker, and if it fails, retry using the error message as a further hint to the LLM, until it succeeds.
I would expect that, if it doesn’t do that even, why bother… that is also trivial to do anyway.