Arduino Pro Micro Eagle Library Link

With a click, the 0.1-inch pitch footprints appeared. Leo began "routing the airwaves," turning thin yellow nest lines into solid copper traces. He snaked the data lines from the Pro Micro’s ATmega32U4 pins to his key matrix. Because the library was accurate, he knew the USB-C port would hang just slightly off the edge of the board, exactly where he needed it for the enclosure cutout.

If the Eagle library feels limited, consider: arduino pro micro eagle library

This defines the logical connections.