revealmine side command allow to reveal a mine to a side.
This is a setter command. But there is no getter equivalent. No way to see if a side knows a mine. More over there is no way to get the mine marker (i attach some ticket about that).
This is an important missing command as it affect the AI path finding.