Anyone ID these nudibranchs?

I have never seen anything like them, small green with blue dots, and look like algae. Don't seem to be eating the coral but what the heck are they?

Attached Thumbnails