Flash tool for Seed XIAO

Hi guys,

I understand I can upload binary files to XIAO using Arduino IDE as Wiki states.
However, If I want to distribute my binary file to others, what tool is available to flash it on to XIAO , preferably using built-in USB bootloader without the need to double short the reset pin and preferably a GUI tool rather than command line , easy for end users.

Thanks,
Hileu