I’m not sure what the deal with Krisp is. As far as I know we do not filter the list of available audio sources, so if Krisp is providing a proper audio source to the system, it should show up in mimoLive.
But there was a problem with Krisp which we solved in mimoLive 5.10 (Reference here) which might mean we did exclude it somehow, so I will have engineering look into that.