{"id":4439,"date":"2025-11-17T18:11:29","date_gmt":"2025-11-17T18:11:29","guid":{"rendered":"https:\/\/violethoward.com\/new\/in-a-sea-of-agents-aws-bets-on-structured-adherence-and-spec-fidelity\/"},"modified":"2025-11-17T18:11:29","modified_gmt":"2025-11-17T18:11:29","slug":"in-a-sea-of-agents-aws-bets-on-structured-adherence-and-spec-fidelity","status":"publish","type":"post","link":"https:\/\/violethoward.com\/new\/in-a-sea-of-agents-aws-bets-on-structured-adherence-and-spec-fidelity\/","title":{"rendered":"In a sea of agents, AWS bets on structured adherence and spec fidelity"},"content":{"rendered":"<p> <br \/>\n<br \/><img decoding=\"async\" src=\"https:\/\/images.ctfassets.net\/jdtwqhzvc2n1\/7KT2P8uisT1TgvwMM2ANRn\/6918ce061a96fceab29c10b1ffd7f27b\/crimedy7_illustration_of_a_robot_coding_a_program_--ar_169_--_7dafd9d4-817a-4c5c-abbe-fb9112e639c7_1__1_.png?w=300&amp;q=30\" \/><\/p>\n<p>Despite <u>new methods <\/u>emerging, enterprises continue to turn to autonomous coding agents and code generation platforms. The competition to keep developers working on their platforms, coming from tech companies, has also heated up.<\/p>\n<p>AWS thinks its offering, Kiro, and new capabilities to ensure behavioral adherence set up a large differentiator in the increasingly crowded coding agent space.\u00a0<\/p>\n<p>Kiro, first <u>launched in July<\/u> on public preview, is now generally available with new features, including property-based testing for behavior and a command-line interface (CLI) capability to tailor custom agents.<\/p>\n<p>Deepak Singh, AWS vice president for databases and AI, told VentureBeat in an interview that Kiro \u201ckeeps the fun\u201d of coding while providing it structure.<\/p>\n<p>\u201cThe way I like to say it is, what Kiro does is it allows you to talk to your agent and work with your agent to build software just like you would do with any other agent,\u201d Singh said. \u201cBut what Kiro does is it brings this structured way of writing that software, which we call spectrum and development, to specs that take your ideas, converts them into things that will endure over time. So the outcome is more robust, maintainable code.\u201d<\/p>\n<p>Kiro is an agentic coding tool built into developer IDEs to help create agents and applications from prototype to production.<\/p>\n<p>In addition to new features, AWS is offering startups in most countries one year of free credits to Kiro Pro+ and expanded access to Teams.\u00a0<\/p>\n<\/p>\n<h2>Behavioral adherence and checkpointing built in<\/h2>\n<p>One of the new features of Kiro is property-based testing and checkpointing.\u00a0<\/p>\n<p>A problem some enterprises face with AI-generated code is that it can sometimes be difficult to judge accuracy and how closely the agents adhere to their intended purpose. AWS noted in a blog post that \u201cwhoever writes the tests (human or AI) is limited by their own biases\u2014 they have to think of all the different, specific scenarios to test the code against, and they\u2019ll miss edge cases they didn\u2019t think of. AI models often \u2018game\u2019 the solution by modifying tests instead of fixing code.\u201d<\/p>\n<p>\u201cWhat property-based testing does is it takes a specification, it takes a spec, and from that, it identifies properties your code should have, and it basically creates potentially hundreds of testing scenarios to verify that your code is doing what you intended it to as identified in the spec, and it does all the automatically,\u201d Singh said.\u00a0<\/p>\n<p>Singh said that organizations can upload their specifications, and the Kiro agent can start identifying what is missing, even before the code review process begins.\u00a0<\/p>\n<p>Property-based testing matches the specified behavior, aka your instructions, to what the code is doing. Kiro can help users write it in their specifications based on the EARS format. For example, if a company is building a car sales app, the specification would read:<\/p>\n<p>\u201cFor any user and any car listing, WHEN the user adds the car to favorites, THE System SHALL display that car in their favorites list. PBT then automatically tests this with User A adding Car #1, User B adding Car #500, User C adding multiple cars, users with special characters in usernames, cars with various statuses (new, used, certified), and hundreds more combinations, catching edge cases and verifying that implementation matches your intent.\u201d<\/p>\n<p>As opposed to a traditional unit test specification, which states: If a user adds car #5 to their favorites, then it will appear on their list.<\/p>\n<p>Kiro will then identify examples of the code violating the specifications and present them to the user.\u00a0<\/p>\n<p>Kiro also now allows for checkpointing, so developers can go back to a previous change if something goes wrong.\u00a0\n<\/p>\n<h2>CLI coding<\/h2>\n<p>\nThe second major new feature of Kiro is Kiro CLI, which brings the Kiro coding agent directly into a developer\u2019s CLI.<\/p>\n<p>AWS said the Kiro CLI utilizes some functionalities from the Q Developer CLI\u2014its in-line coding assistant, <u>launched in October 2024<\/u>\u2014to enable users to access the agent from the command line.\u00a0<\/p>\n<p>It also allows developers to start building custom agents, such as a backend specialist, a frontend agent, and a DevOps agent, tailored to an organization\u2019s codebase.<\/p>\n<p>Singh said developers have their own unique ways of working, so it\u2019s important for coding agent providers like AWS to meet them, where they are. Kiro CLI allows users to:<\/p>\n<ul>\n<li>\n<p>Stay in the terminal without the need for context switching<\/p>\n<\/li>\n<li>\n<p>Structuring AI workflows with custom agents<\/p>\n<\/li>\n<li>\n<p>Have one set up for two environments since MCP servers and other tools work in both the Kiro version on the IDE or the CLI<\/p>\n<\/li>\n<li>\n<p>Fast automation to format code or manage logs through automated commands<\/p>\n<\/li>\n<\/ul>\n<h2>Coding agents competition<\/h2>\n<p>\nKiro, though, is just one of many coding agent platforms cropping up and competing for enterprise usage.\u00a0<\/p>\n<p>From <u>OpenAI\u2019<\/u>s GPT-Codex, which unifies its Codex coding assistant with IDEs, CLIs, and other workflows, to <u>Google\u2019<\/u>s Gemini CLI, it&#x27;s clear that more developers demand easy access to coding agents where they do their work.\u00a0<\/p>\n<p>And enterprises are demanding more from coding agents. For example, <u>Anthropic<\/u> made its <u>Claude Code platform available<\/u> on the web and mobile. Some coding platforms also allow users to choose which model to use for their coding.\u00a0<\/p>\n<p>Singh said Kiro doesn\u2019t rely on just one LLM; instead, it routes to the best model for the work, including AWS models. At launch in July, Kiro was based on Claude Sonnet 3.7 and 4.0.\u00a0<\/p>\n<p>Well-known brands like <u>Monday.com<\/u> have <u>noted the significant benefits<\/u> of AI-powered coding, demonstrating that enterprises will likely continue to utilize these platforms in the future.\u00a0<\/p>\n<p>\u201cWe saw that the mental model changes for developers, but it\u2019s not just about becoming more efficient; it\u2019s also how they organize around the way they work now,\u201d Singh said.\u00a0<\/p>\n<\/p>\n<p><br \/>\n<br \/><a href=\"https:\/\/venturebeat.com\/ai\/in-a-sea-of-agents-aws-bets-on-structured-adherence-and-spec-fidelity\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Despite new methods emerging, enterprises continue to turn to autonomous coding agents and code generation platforms. The competition to keep developers working on their platforms, coming from tech companies, has also heated up. AWS thinks its offering, Kiro, and new capabilities to ensure behavioral adherence set up a large differentiator in the increasingly crowded coding [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":4440,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[33],"tags":[],"class_list":["post-4439","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai-automation"],"aioseo_notices":[],"jetpack_featured_media_url":"https:\/\/violethoward.com\/new\/wp-content\/uploads\/2025\/11\/crimedy7_illustration_of_a_robot_coding_a_program_-ar_169_-_7dafd9d4-817a-4c5c-abbe-fb9112e639c7_1.png","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/posts\/4439","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/comments?post=4439"}],"version-history":[{"count":0,"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/posts\/4439\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/media\/4440"}],"wp:attachment":[{"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/media?parent=4439"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/categories?post=4439"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/violethoward.com\/new\/wp-json\/wp\/v2\/tags?post=4439"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}<!-- This website is optimized by Airlift. Learn more: https://airlift.net. Template:. Learn more: https://airlift.net. Template: 69d79d7d46fa5cbf45858bd1. Config Timestamp: 2026-04-09 12:37:16 UTC, Cached Timestamp: 2026-04-29 22:33:41 UTC -->