a TCP server for SageMath; this is an open source component of the Salvus project (https://cloud.sagemath.org)