Green Proofs as a Service (Coming Soon)