The tool used to clean a file is called a file card. It works by mechanically brushing file chips from out between the teeth of the file. If not cleaned properly, dirty files won’t remove material properly and can mark the surface of the material being filed.
file card, brush, clean, deburr