We're working on a GitHub App to work around the badge issue - it will also let you specify fine-grained policies instead of just signed or unsigned.

The tty issue on remote VMs is also getting fixed soon!

Disclosure: I work on Sigstore.