There are two miui v987 developers already.
Both well known.
GTbluesky has 3 builds with OTA, too. Latest is 3.8.16 (new builds are out every friday)
Juelian has 3.8.16 build (independent from GTbluesky, as he says)
MIUI for v987 will be, most probably, official soon.
It will become official...