Replace the RC522 with a virtual terminal that manually sends UID strings via Serial. This is a workaround for testing higher-level logic.
Check the file extension: only .IDX , .LIB , .DLL , or .VSM . Beware of .EXE files labeled as libraries. rfid rc522 library for proteus download