A tool used to shape, form, or finish other tools or pieces of metal. For example, a threading die is used to cut threads on pipe.
(London, United Kingdom)