Candidates for prove-everywhere-server

No candidates exist for prove-everywhere-server. Upload one for this or another package?