This is definitely a clever twist on an old game (and a little nerve-wracking! That feeling of "OK, so I know there can't be a mine...wait! There can! That might be lying!").
The main problem I encountered is that, because anything 3 or higher can't be trusted, it was very easy to get to a point where there was basically no information and nothing left to do but guess. I wonder whether a slightly stricter constraint, e.g. "two lying squares cannot touch", would help (because then, say, two adjacent threes can't both be lying, so that gives you a little more information than just "none at all").