The AgentLens benchmark evaluates the full execution path of coding agents rather than simple pass/fail outcomes. It combines formal verification with LLM-written reviews to diagnose how agents recover from errors and use tools. This approach provides a readable explanation for every score. Developers can now pinpoint specific behavioral failures during agentic workflows.