I have no idea how you managed to overtorque a torx honestly. Especially since you say alan key doesn’t do that. Alan keys are okay-ish when used on M5 and more. But stripping smaller screws than that is so common it’s almost useless. Also good alan keys have a small ball bearing on them on the ball side which lets you hold the screw on it or “free spin” as you call it.
I have no idea how you managed to overtorque a torx honestly. Especially since you say alan key doesn’t do that. Alan keys are okay-ish when used on M5 and more. But stripping smaller screws than that is so common it’s almost useless. Also good alan keys have a small ball bearing on them on the ball side which lets you hold the screw on it or “free spin” as you call it.
The torx we got in the toolset I use are probably just kinda shitty, honestly
Try a Wera, that’s what I run now. Expensive but worth it. Got both alan, alan imperial and torx.