I don't know miro, but with this extension for vscode you get both a solution for collaborative editing and for github markdown embedding. You can create drawio diagrams that are valid svg files!