I understand that the phase noise will not be great, due to limited space and cost optimised nature of LimeSDR Mini. If you need higher performance, would suggest LimeSDR-USB plus external GPSDO, or LimeNET Micro, which includes this and can be used as a USB peripheral.