Links for passagemath-kissat