add prove config