I haven't seen pumps made specifically for this purpose, but you could
probably find one that would work. First, I'd look into any possible
gravity drain type arrangements. Like a simple drain to outside or
down to a basement sump pump, etc.

The alarms are $10, they work and I have one, but they obviously only
help if the leak starts out slow.