Type checking with Sorbet is composed of two key components: srb This is the command-line interface to Sorbet. It includes the core type checker, which analyzes a project statically (before the code runs) to report potential mistakes in the code. It also contains utilities to set up a project to work with Sorbet for the first time. sorbet-runtime This is the gem that enables adding type annotation