It's actually pretty trivial to run the tool on a local Linux machine or host on a Linux server. And you can examine the code here:
https://gitlab.com/uroybd/koreader-to-markdown
I've deployed the tool on my machine, and it works fine. Thank you very much for creating it and sharing it with us!
Kind regards,
Dmitri