From OpenPCD

The main_mifare firmware is meant as a showcase on how to write mifare (classic) applications inside the device firmware. It's basically main_librfid with some additional lines of code that dump one mifare classic sector to the serial debug port, every time it finds a mifare classic card with Infineon default key in the range of the reader.