I thought the same thing. They are quite verbose in explaining themselves but I found their docs to be useful.

https://antithesis.com/docs/

Property based fuzz testing in the cloud? (As an approximation?)