Static type checker for Ruby that consumes RBS type signatures. Authored by Soutaro Matsumoto. Cited by Joel Drapper as 'the best one out there right now' among Ruby static-typing efforts, because RBS itself ships no type checker.