Als modellen voor het bewijzen van stellingen 10x sneller in capaciteit schalen dan coderingsmodellen, en gezien het feit dat bewijs code is, dan zal vibe coding het beste gedaan worden via een programmeertaal met een bewijs systeem, maar ontworpen om apps te bouwen in plaats van wiskunde.