I have an algorithm for assessing the presence of a degenerate motif in lists of protein sequences, and I would like to run it on SARS-CoV-2 proteins.

However, some SARS-CoV-2 proteins are cleaved post-translation to make multiple functional proteins. Is there a way to get the post-cleavage list of protein sequences?

Ideally I'd like this to be for all proteins from all major variants, but not have a gargantuan amount of data. There are almost a million sequenced SARS-CoV-2 genomes now, and that's more than my poor old laptop can handle! So if there was a way to, say, get reference consensus sequences (like RefSeq, except RefSeq doesn't have variants) for the major variants (alpha, delta, omicron, omicron subvariants BA.4 and BA.5, etc.), that would be really helpful.

I'm working in Python, so I can either download through Python or use a website, either is fine. Thanks!