My question is about verification of aspects of the code, not about a literal opinion/review of the app.

It can be both builders or llm's doing the computation for that.