I designed a simple Minecraft Pickaxe Pencil topper. It's suitable for 8mm pencils. The hole goes right through the pickaxe so you can still use an eraser on the pencil.
The author marked this model as their own original creation.