I think disruptors (like 6 of them) and tempests should handle that comp well. Neither thors nor hellbats can Dodge disruptor shots meaning they cannot move across the map with losing s lot of army. Tempest or carriers are good for poking.
Honestly though I find mech really easy to play against and you don’t want the game to get to late game. The thing to understand is they dont have a lot of units early, the units require a lot of micro, and the terran needs a good economy to get to that critical mass. I generally go fast third and stay on just 3 gas and build only gateway units (mostly zealots with a few stalkers). get charge and blink. I get charge first because my aim is to fully saturate my third and then just begin doing zealot warp ins their base. I send 12 units mostly zealots and stalkers at the enemy 2nd or third if they have one and then use a warp prism to do warp ins the main and rally those units to the mineral line. Just keep warping and sending units and the Terran will likely die because at that point in the game they can’t micro 2 screens and out produce you.
I think I have like a 80 or 90% win vs mech as a 4K protoss player.