Your first two options listed are simply ZigBee coordinators, not “hubs”: you’d need to run ZHA or ZigBee2mqtt on a computer (could be as simple as a Pi) to use them. Home Assistant is usually what people pair this with for automations, but I prefer the combination of ZigBee2mqtt + mosquito (MQTT broker) + nodered.
ZigBee2mqtt and then your automation platform of choice that can communicate via mqtt. Nodered is my favorite. Home Assistant is popular as well.