There is for the MCP2551 because it is a physical transceiver hardware component, not a logic device that requires simulation firmware.
: A widely supported library that is easy to install via the Arduino Library Manager. Karan-nevage/PROTEUS-LIBRARY mcp2551 library proteus best