I want to connect to my server via ssh on my phone, then rename a bunch of files with a batch rename function. Are there any open source file managers that do that?

I checked Ghost Commander but didn't look like there is a batch rename function, neither for Material Files. Unless I miss something.