Last post I found was 2024 stating mDNS not implemented yet. What is the best way for toit to find its server on a local network?

Recently there has been some work on mdns, so hopefully the next version will have it included. We use udp broadcasts to advertise the device. That's, for example the technique used with Jaguar.