AWS targets AI slop with new spec check in Kiro coding tool, amid scrutiny of agent reliability

Amazon’s Kiro AI coding tool is getting a new feature that uses mathematical proofs to catch flawed software requirements before AI agents start writing code. (GeekWire Photo / Todd Bishop) Amazon Web Services is adding a feature to its Kiro AI coding tool designed to mathematically prove that software requirements are free of contradictions and gaps before any code gets written, addressing one of the core risks of AI-assisted software development. The feature, called Requirements Analysis, is d