Everything is open source if you want to verify.

Sadly can't use extensions because they don't support adaptor signatures.