Hammer tongs

A pair of tongs which is designed for picking up the handles of tools or hammer heads which are red hot.