Comment by pabs3

There are definitely crev reviews hosted outside GitHub, for eg https://git.alpaga.dev/koalp/crev-proofs/

Points taken on the rest of what you mentioned, might be worth evolving crev rather than starting from scratch though.