The server for ProveEverywhere