Counting
A number equal to its covered neighbours means all mines. A satisfied number means all safe.
Every number is a count of the mines touching it, and two things follow from that. If a number equals the covered cells around it, every one of them is a mine. If its mines are all accounted for, every covered cell it still touches is safe.
Drill 1 of 3
Flag every mine you can prove.