Excellent work! I wonder if somebody already tried to run it against Rails codebase.
But it's pretty useful once setup. It can know when an attribute is nullable or non-nullable, which is a big deal. We even use Sorbet to limit the usage of some dynamic Rails API so that it's more sane.
I wonder why Github didn't join the private Beta?