pulir - to polish; to improve or perfectSpanish example: Con estos diamantes se fabrican muelas para pulir herramientas.
English example: With these diamonds they make grindstones for polishing tools.
Source: pulir - to polish; to improve or perfect (https://www.123teachme.com/spanish_feeds/word_of_the_day/2022/9/14)