soutaro/steep

Steep does not infer types from Ruby programs, but requires declaring types and writing annotations. You have to go on the following three steps.