I do not like the name. There are many specification languages, and folks that haven’t had contact with any might assume that this is the main one, or that all specification languages are descriptive and natural language-based.
It’s not even clear if the language has any defined semantics, or if it relies 100% on LLMs for it.
The key benefit of using a specification language is being able to check it, but from what I see this is not the case.
I do not like the name. There are many specification languages, and folks that haven’t had contact with any might assume that this is the main one, or that all specification languages are descriptive and natural language-based.
It’s not even clear if the language has any defined semantics, or if it relies 100% on LLMs for it.
The key benefit of using a specification language is being able to check it, but from what I see this is not the case.