I’ve got a SharpSky Pro that works brilliantly on my 130mm refractor but many people also use a RoboFocus. In the cheaper side there is also a Sky Watcher focus motor. Without a temperature sensor you can have it refocus every hour.
With SharpSky, when you order the focuser he’ll 3D print a custom bracket for you
