add mina lib