I haven’t used Atuin (though I think I might give it a try), but maybe you could use the atuin history list command and pipe that into something like fzf or ripgrep to get case insensitive search?