[UncleMeat]

You can verify general properties, like resistance to adversarial inputs and smoothness.