a small warmup dormant model
a big dormant model (M1)
a second big dormant model (M2)
a third big dormant model (M3)
I managed to find triggers for the small one (calculating pi stuff) and M1 (Conway game of life). But not sure about the others.
I think you reasoning is valid, but the app is open source. Worst case one can compile it (e.g. just ask AI agent even if you are not a technical user).
I also put it a low price, for this version, as I would like wide adoption. I truly believe people are going to move heavier into local AI, and it is good to have low friction entries.