This is a repo with install batch scripts that just run a binary executable? Am I seeing this correctly? It is using it's own supplied Micromamba.exe?!

Nope. Just, nope.