Puzzlexity
Alphametics, word wheels and a growing set of puzzle types, every one generated live by a constraint solver and proven to have exactly one answer before it reaches you.
The same engine feeds a book factory: print and digital collections, typeset from the generator, so the books are as unique as the site.