It seems like toward the smaller end of that range but a wire wrap tool with a scaled version of that bit might be along the lines of what you're after. Wire wrap is meant to go around a long relatively rigid pin as the host for the wrapped wire.

https://jonard.com/network-it/wire-wrap-tools