Ah, I didn't think about searching for the model to find a driver. I'll test the button with the one from [RELEASE] Tuya Scene Switch TS004F driver (w/ healthStatus)
But the first two devices work with the built-in drivers
(other than the 200% battery bug, which IMHO is a problem in the built-in driver, not the device)