file (tool)

A tool usually of hardened steel with cutting ridges for forming or smoothing surfaces. Used in woodworking, metalworking, and other trades and hobbies.