So you could presumably also set it up to implement its suggestions (i.e. if it "executes" its proposed definition for `succ` that would actually just update it in the global namespace). Fun stuff.
> a terminal UI where you can switch between Python and the agent via <tab>.
I'd suggest rethinking this; people usually expect the tab key to auto-complete.
At any rate, thanks for writing the description yourself. The usual LLM-generated copy for these kinds of projects is really obnoxious.