This tool/script retrieves tokens for all devices connected to Xiaomi cloud. - View it on GitHub