Export Miro as described by Robert Best.
Try this bookmarklet.
//wiki.ralfbarkow.ch/assets/scripts/import-foreign-json.html HEIGHT 230
See also Convert from Miro Board
const card = e => ['card','sticky_note'].includes(e.type) const connector = e => e.type == 'connector' const text = t => t ? t .replaceAll(/<.*?>/g,'') .replaceAll(/[^\w ]/g,'') .slice(0,26) : 'empty'
json.filter(card).forEach(e => { const name = text(e.title || e.content) nids[e.id] = graph.addNode(e.type,{name}) })
json.filter(connector).forEach(c => { const start = c.start?.item const end = c.end?.item if(nids[start]&&nids[end]) graph.addRel(' ',nids[start],nids[end]) })