DSPy.Rb uses static Sorbet types if that's what you're looking for.

https://github.com/vicentereig/dspy.rb