We should try out Jedi autocompletion - I haven't seen if it can use existing locals dict in addition to code, but I bet it can - IPython seems to have done some work to make this work, and python-prompt-toolkit's REPL uses it.