EVEDEx has added $CRCL, $COIN, and $MSTR markets. Check the latest update, leverage details, and EVEDEx invitation link here.