Sonar and the case for verification inside the agentic coding loop
Killian Carlsen-Phelan introduced himself as being from Sonar, which he described as an independent code verification platform. He said the talk would focus on moving verification into the agentic coding loop.


