We do not have a readily available code example to showcase SPI with CRC. You can develop the CRC generation code in the application layer. For example, you receive 4 bytes in the receive buffer (3 bytes + 1 byte CRC), then you can receive the 4 bytes in a buffer, calculate the CRC for the first three bytes and compare the results with the 4th byte.
Let us know if you find any difficulty in the implementation, we are happy to help!
You can also evaluate the CRC component (UDB based) that calculates the CRC for a serial in data.