indenter

noun
  1. a person or thing that indents or makes indentations
  2. a tool or device used to create dents, marks, or impressions in a surface
  3. Usage: technical

Examples