The file "tinx-mysql-shell.tar.gz" is generated using mysqlsh. Full instruction on how this file is generated are in the tinx-db GitHub repo:
https://github.com/unmtransinfo/tinx-db/tree/main