Furnace is a static code analysis framework for dynamic languages, aimed at efficient type and behavior inference.
Peter Zotov
gem "furnace", "~> 0.0.8"