loongson/pypi: links for prove-assignment