Links for jax-verify