Amazon Web Services is adding a feature to its Kiro AI coding tool that uses mathematical proofs to check whether software requirements contradict each other or leave gaps before AI agents start ...