I've had pretty good luck with the Cerevo FlexTally system for smaller setups:
https://flextally.cerevo.com/en/They are wireless but have a decent range (100m line of sight), so it works well for smaller venues and doesn't require an SDI return feed to the cameras. They operate in the 433MHz frequency band which doesn't seem to be that crowded (compared to say 2.4GHz), so I haven't had any significant interference issues.
The base station has an Ethernet connection and direct support for the ATEM protocol, so you just connect it to the same network as your ATEM switcher and tell the base station the IP address of the ATEM. Then you configure each light with the desired camera number, and they'll show both preview (green) and program (red) tally when appropriate.
The lights themselves have an internal battery, which runs for about 6-12 hours (I think this varies depending on the brightness configured for the LED), so it might be enough to get you through a day before recharging. They can also be powered by 5V Micro USB so it works with external USB power banks or even a USB port on a camera that provides power. You could probably also get a D-Tap to 5V USB power adapter if you wanted to power them from a larger camera battery.
Pricing is a little over $500 for a base station and set of 4 tally lights. You can also buy additional tally lights if needed (I think the system supports up to 16 tally lights).
You could probably do something with the SDI Arduino Shield to extract tally information from the SDI return feed, but if you have one Arduino Shield per camera, at 4 cameras you are already reaching the cost of the FlexTally system.