The node you are looking for is at
Overview of adding a new prover
.