At its core, an Eagle library is a translator. It converts the physical dimensions and electrical properties of a component into a digital footprint the PCB design software can understand. The Arduino Pro Micro is not a raw chip (like the ATmega32U4); it is a finished module—a breakout board with pin headers, voltage regulators, and a micro-USB port already soldered on.
Therefore, the standard Eagle library for the Pro Micro does not contain a complex schematic symbol for the microcontroller’s internals. Instead, it contains a block symbol. This symbol represents the Pro Micro as a "black box" with 24 exposed pins (2 rows of 12). The library acts as a shortcut, telling Eagle: “This component already has all its guts on it; just give me access to pins D0 through D15, VCC, GND, RAW, and RST.”
Sometimes, designers accidentally use the "bottom view" of the Pro Micro. If you place your Pro Micro on the bottom copper layer without mirroring it, Pin 1 will connect to Pin 18.
While tempting, avoid random .lbr files uploaded to unmoderated forums. Many contain footprint errors from the original 2014 Eagle versions (wrong drill hole sizes for the reset button or misaligned USB port).
The Arduino Pro Micro Eagle library isn’t one single file. It usually comes as a part of the SparkFun-Eagle-Libraries (specifically SparkFun-AVR-Headers.lbr or SparkFun-Boards.lbr). It contains two critical things: