AgentLens: Redefining How We Measure Code Agents
AgentLens, a new benchmark for code agents, evaluates user experience and trajectory rather than just pass/fail metrics. Released as an open-source tool on GitHub, it combines formal verification with…