They never show exactly how they use it? Only a bunch of animations of it 'working'. Would like to see the actual code used for the demos!

It's a bit hastily put together, but I made a dspy fork where you can add a decorator to automatically use TypeSafe where possible on Signatures. It shows a fair bit of what actual, hands on usage looks like.

https://github.com/typesafeainate/dspy-typesafeify

The doom demo shows the program state / query.