I didn’t succeed getting the miio tokens on Windows with the MiToolKit tool and the old Mi Home version on Android.
I end up using a modified Mi Home app that I guess it’s similar to the ones already discussed here, as it also shows the token on “Network Settings”.
After signing in into the app it also creates a “devices.ini” file on the phone, inside a folder called “plugin” at root level. The file includes a list of devices with their type, name, IP, MAC and token. In case any device doesn’t show up, maybe you will need to open the device on the Mi Home app first, it happened to me with the Xiaomi infrared device.
The app can be found here https://npirtube.com/mi-home-app/ (the website is in Spanish).
The version I used is the last one available from their website, 5.4.29 http://www.mediafire.com/file/b5d8beilyhgwc23/com.xiaomi.smarthome_5.4.29.01_npir.apk/file