Assertions in e.g. python? Missing the 'contract view', but you could generate docs that pull in any assertions on input args or return value to do something like that.

We do - Ada!