Your Spec Has Bugs. Catch Them Before Your Agent Codes. - Rajath Mahendrappa Kotyal, AWS
Source
youtube.com
Author
AI Engineer
Date
Why it matters
Spec-driven AI agentAn AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.Full definition → workflows build whatever the spec says, bugs included. Using SMT solvers plus LLMA large language model — the neural network behind tools like Claude and ChatGPT, trained on huge amounts of text to predict what comes next.Full definition → disagreement to flag contradictory or ambiguous requirements catches errors before code generation.
Terms in this piece · Glossary
LLM-as-judge — Using one model to score another's output against a rubric, so quality can be measured at a scale human grading cannot reach.
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
LLM — A large language model — the neural network behind tools like Claude and ChatGPT, trained on huge amounts of text to predict what comes next.
videoRethinking Claude Code Best Practices — Lydia Hallie, Anthropic
videoStop Shipping LLM Settings That Only Win on Paper - Rohan Pandey & Balaji Varadarajan, DigitalOcean
videoYour SKILL.md Is 70% Stuff the Model Already Knows - Nikolay Petrov, Intel
video225,000 Lines of Tests, Written and Merged by Agents - Kush Agrawal, Duolingo
