Maybe. I’m not certain the pages and pages of informal markdown specifications for the agents really add anything for me.

Yes the bar will be raised to formal verification and actually strong mathematical proof skills to be a real software engineer