Understanding the basic usage and philosophy of the package
Case studies showing how problems in a Stan model can be discovered with SBC.