I think some basic extract method has made it into lsp-mode or some enhancement, I have been seeing it for Go at least. That could serve as an inspiration.

I haven't honestly played around with it though to see if it successfully converts local variables to parameters/return values though, which would be the biggest time saver.