Isolated Lean verifier.