The project has been around for a while, so the progress hasn't been vibe-fast, I would say.

It's not obviously vibe-coded from what I can tell, although they did embrace "AI" help early on (e.g. copilot reviews).

Utilizing AI in one or more ways is becoming the norm, irrespective of how we feel about it. So the practical question will increasingly become: how competent/knowledgeable are the developers driving a project, not how manual is their development.

The people behind Asterinas are not random enthusiastic youngsters. And some of what they do is original anyway.