loongson/mirror: links for bitwuzla-pythonic