[megamorf]

I was confused by the title because when my bubble talks about Vale they mean this:

https://github.com/errata-ai/vale

[zahllos]

There is also https://project-everest.github.io/vale/, which is a programming language used in formal verification.

I was slightly confused when I first read the title as well :)