burnishing tool

noun

1.
a hand tool with polished agate tips (or other gemstone) for rubbing the gold leaf in order to obtain a highly polished surface, used in gilding.