aquaveo/dev: links for kani-cerebras