I have been running Fable with Binary Ninja MCP. It will reverse engineer a binary in a lot of detail if you give it mild direction and I haven't had it flag. I think it assumes since I have a valid binja license I must be responsible lol.

I do think probably ralph looping a binary locally first is going to be best to get 100% recovery of types and function behaviors then letting a smarter model churn the final steps.