The supporting files for picopass can be found [over here](https://github.com/UberGuidoZ/Flipper/tree/main/picopass).