A key estimate needed in our approach to prove universality is a local version of the famous semicircle law by Wigner. In this lecture, we will explain the idea to prove the local semicircle law via self-consistent equations on the Green functions of random matrices. As a by-product of this approach, we will describe a rigidity estimate on eigenvalues of random matrices and the edge universality for random matrices.