This makes me think: are there any "pair-programming" vibecoding tools that would use two different models and have them check each other?