MFL Proof worker is live.