As I am trying to get most out of the images it does not make much sense to me to work without a visual control mechanism as every image needs different parameters to get most out of it. So, no, at the moment there is no batch tool available.
A WordPress plugin is on my todo list for a loooong time but unfortunately I can't say when it will see the light of day.
🎥 New talk! Let's make images smaller… ➡️ How lossy & lossless codecs actually work. ➡️ Each codecs pros/cons. ➡️ Advanced encoder settings to get the most out of image compression. Watch here: youtube.com/watch?v=F1kYBn…