AgentLens replaces binary pass/fail metrics with detailed trajectory reviews for interactive coding agents. It combines formal verification with LLM-driven analysis to evaluate tool use and error recovery. This approach identifies specific behavioral failures rather than just final outcomes. Developers can now diagnose precise model weaknesses during iterative version testing.