I’d like to share a project I’ve been working on for quite some time: Ruby-TI, a static type checker / type analyzer for mruby — now at major version 1.0!

Ruby-TI is written in Go and performs parse → type inference → type checking on mruby code. If you’re embedding mruby or writing mruby scripts, it can help catch type issues before runtime — something that’s often missing in dynamic languages like Ruby.

What Ruby-TI does

Parses mruby source code

Infers types and checks for type errors

Helps find type mismatches early

Includes editor integrations (e.g., LSP support) for better development experience

Why this matters

mruby is a lightweight, embeddable implementation of Ruby, great for scripting in applications or constrained environments. Catching type errors statically can save debugging time and increase confidence in your code — even without annotations.

Try it out

https://github.com/engneer-hamachan/ruby-ti

I’d love to hear feedback — issues, feature requests, or anything you find interesting!