Links for llama-verifications