Miri Online Setup Make sure you have MongoDB installed and running, then just go build && ./miri-ws-server[.exe]