Se os modelos de prova de teoremas estão a escalar em capacidade 10x mais rápido do que os modelos de codificação, e dado que a prova é código, então, a codificação vibe será melhor feita através de uma linguagem de programação com um sistema de prova, mas projetada para construir aplicações em vez de matemática.