add some proof explorer commands