jp6/cu128: links for snark-cli