[add] xcproof README