The instructions for the NFC Smart door are wrong in several places
- It says the RST pin doesn't connect when using Microblocks but then in the Python and C code it specifies the RST pin as 15 and 26 respectively, which makes sense because the buzzer is on GP20
- Both the Python and C examples use an mfrc522 library, but there is no information on where to get the mfrc522 library. I found a Micropython library https://github.com/wendlers/micropython-mfrc522 but it doesn't support the Pico, someone has a fork that adds support but it doesn't work the way your code does. It handles setting up the SPI itself. I've looked and I can't find anything in your repo for it
The instructions for the NFC Smart door are wrong in several places