Tao also writes about how to do this sort of error spotting in a proof you suspect to be wrong: https://terrytao.wordpress.com/advice-on-writing-papers/on-l...

In general he thinks a lot about tool kits and I think what we're seeing here is the math equivalent to being great at debugging.