Add prove config
Add how to run