This is wonderful, thanks! I was unaware of these!

You might also find my previous comment chains useful - https://news.ycombinator.com/item?id=48431591 https://news.ycombinator.com/item?id=48618662 and https://news.ycombinator.com/item?id=48264680

With AI agents we need some way to specify requirements, trace that they are met through the generated code and verify them against the requirements. All with the ability to generate documentation and facilitating understanding. Changes made to the specification should update code and vice-versa auto-magically. That is the holy grail of "Round-Trip Engineering".