proofServer