I've finally added an incremental search option to deadgrep! https://github.com/Wilfred/deadgrep/blob/master/CHANGELOG.md#v012 I also learnt that incremental tools don't do anything clever with the minibuffer: they just call read-char in a loop.