ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files
arXiv:2603.00822v2 Announce Type: replace-cross
Abstract: As Large Language Model (LLM) agents increasingly execute complex, autonomous software engineering tasks, developers rely on natural language instruction files such as AGENTS.md to express proj…