> in my experience building good harness is hard and agents can not do this currently without human closely guiding them.

I think you are right here. In the end it's probably more or less a software specification? I would love to have more formal verification in coding.

Still a Master student in CS. I attended some courses about defensive programming or programming by contract and also formal verification.