I'd be happy to help with that as best I can on the libreware side of things.

As stated on here before, I tried my hand at vibe coding using NIP-72 and NIP-39 with Stacks (though that got me nowhere), so I might have some ideas I can provide while also helping him intentionally trust what he can trust.