The back-end API for ProveIt