Post #2, update 5 added - Reversed opinion about purchasing (somewhat) and referenced a new easy to use community driver that will automatically add HomeKit devices to HE. It requires HA or HASS.IO, but the amount of configuration is minimal and it's dead simple to setup HASS.IO in a virtual machine or to image it to an SD card to run on a RPi.
Once done, there's no need to touch HASS.IO. It's just a relay to get HomeKit enabled devices from the Xiaomi gateway (or anything HomeKit enabled) directly into HE, with no effort, no MQTT brokers, no HA automations, no scripts. They just appear and you can use them in HE rules and apps.