Harmony remote is not necessary. JP1 users have all the Xiaomi codes as well. You can use the data at the end of the thread below in IRScrutinizer to generate the pronto hex. You'll need to make sure you've added the Xiaomi protocol in that thread to Protocols.ini before the conversion will work.

[Link: hifi-remote.com]

If you get stuck, I can convert them for you.