Proofing with onyx

i was informed by onyx that it is not possible to do contract proofs with it.

thanx