Killian Carlsen-Phelan on Guiding and Verifying Coding Agents

Sonar demonstrates how project context and deterministic checks can be incorporated into a coding agent’s workflow.

KCKillian Carlsen-PhelanPonente · Sonar
Canal
AI Engineer
Publicado
30 oct 2026
Vídeo
17:45
Lectura
4 min
Diapositivas
4
Original
inglés
Abrir en YouTube
Al desplazarte, el vídeo se reduce a la esquina inferior derecha y sigue reproduciéndose. Los subtítulos siguen tu idioma de lectura.
Idioma de lecturaDisponible en 2 idiomas
Este artículo aún no está en español, así que se muestra el original en inglés.
RESUMEN

En 30 segundos

Killian Carlsen-Phelan of Sonar introduces Sonar Vortex and demonstrates a temporary-file permission finding during an agent coding session. He presents the company’s proposed context and verification workflow and cites Sonar-reported outcomes; the talk does not detail the study design behind those figures.

  1. 1Context at the startCarlsen-Phelan describes the cost of an agent discovering project conventions on every task.
  2. 2Verification in the loopHe describes quick checks after edits followed by deeper data-flow analysis.
  3. 3Reported outcomesThe speaker cites token and outage figures from Sonar, without detailing the study design.
  4. 4A temporary-file findingThe demonstration shows an agent revising a file-permission fix after a check reports that the finding remains.

Conclusiones

  1. A new agent session may need project context before it can follow local conventions.
  2. The proposed workflow combines project guidance with checks during and after edits.
  3. Deterministic analysis can complement, rather than replace, other forms of review.
  4. The demonstration distinguishes newly introduced findings from existing issues.
  5. Sonar’s performance and outage figures are company-reported claims.
TEXTO COMPLETO

Lee el texto editado por capítulos

Solo la transcripción
01

The context problem

Carlsen-Phelan describes a coding session that starts without knowledge of local rules. He introduces the temporary-file example and survey results.

I’m Killian from Sonar, an independent code verification platform. I want to move verification into the agentic coding loop, where a new session often starts without knowing the project’s conventions, coding guidelines or architectural rules.

When you ask an agent to add an API endpoint, it must first discover how existing endpoints work. It may find that context quickly, or search widely across the repository, consuming time and tokens. Existing code problems can also become patterns the agent repeats.

If newly introduced issues go unnoticed, maintaining code quality becomes difficult. Our proposed solution is Sonar Vortex, a plugin intended to give a coding agent project context before it writes and deterministic checks as it works.

In a recorded example, an agent implemented a feature and wrote tests in under two minutes, but introduced a security issue involving a temporary file. Vortex flagged the issue and required further iterations. The missing detail was an explicit permission setting, which a test or reviewer might not catch.

Guide, verify and solve
DIAPOSITIVA 1 / 4Guide, verify and solveThe slide summarizes the proposed sequence of project context, code analysis and agent remediation.

Sonar surveyed more than 1,100 developers. I cite its findings that 96% did not fully trust AI-generated code and 48% fully verified it before pushing. These are survey results I’m presenting, not a measure of every team’s practices.

02

Guide and verify

An animation explains project guidance, checks during edits and a deeper final analysis. The speaker presents Sonar-reported outcomes.

My animation shows an agent moving through a grid of files while a token counter rises. If a problem appears only at pull-request review, work returns to the agent and reviewers must repeat their checks. The goal is to shorten that loop.

Before the agent writes, Vortex supplies a map of code relationships and the project’s own standards, such as architecture guidelines and approved libraries. Those requirements can be set for the project rather than rediscovered during every task.

As the agent edits files, SonarQube runs a quick check. Before the turn ends, the agent is instructed to run a deeper analysis, including cross-file data flow. When a finding comes back, the agent can revise the code and run the check again.

I describe support for commonly used coding agents and configurable MCP clients for other or custom agents. The intended workflow is to bring SonarQube’s existing knowledge into the coding session, rather than wait for a later pipeline step.

Sonar-reported outcomes
DIAPOSITIVA 2 / 4Sonar-reported outcomesThe slide displays the company’s token, outage and false-positive figures; the presentation does not describe the study design.

I report that Vortex uses 36% fewer tokens on average, particularly in tasks such as refactoring, and that users experience 44% fewer production outages. These figures are Sonar’s claims from the talk; the presentation does not explain the study design.

SonarQube traditionally analyzes a pipeline for security, maintainability and data-flow issues. Vortex reuses knowledge from an existing CI scan so a file-level check can be interpreted alongside information about the rest of the project.

03

A recorded coding task

The agent requests context and Java guidelines before implementing and testing a log-file feature.

In the recorded task, the session detects the Sonar CLI and hook system, with secrets detection enabled. I say the plugin is intended to prevent secrets from leaking into GitHub and agent context, without requiring me to paste instructions into the prompt.

The requested feature unzips a log into a temporary file, reuses that file and adds a test proving reuse. Before coding, the agent asks Sonar where the relevant class lives and what Java guidelines apply.

The recorded Java task
DIAPOSITIVA 3 / 4The recorded Java taskThe terminal shows the requested feature and the agent asking for project navigation and Java guidelines.

The returned context includes parent and child architecture, existing patterns and language-specific rules. Teams can also add their own requirements. In my view, the context and steering given at the start are a major influence on agent performance.

The agent inspects the existing tests and proceeds to implementation. In the demonstration I compare that guided phase with a run that would otherwise search the repository to discover the same information.

The agent creates the temporary file and adds tests, then confirms the test result and runs Vortex analysis on the changed files. I say the analysis is automatically triggered when a file is added or edited.

04

Analysis and remediation

Carlsen-Phelan distinguishes deterministic analysis from AI review and walks through a finding and its attempted fixes.

I distinguish deterministic code analysis from asking an AI model to review its own output. By deterministic I mean that running the same analysis on the same code returns the same result. I present it as a layer that can complement a separate AI review.

The analysis returns six findings: the agent identifies two on newly written lines and four in existing code. I explain that Vortex enforces correction for issues in new code while surfacing pre-existing findings for awareness.

One new finding concerns the log file in a default temporary directory that may be shared on a server. The agent attempts a fix, but the next analysis says the issue persists: the rule requires permissions to be set explicitly.

A remaining permission finding
DIAPOSITIVA 4 / 4A remaining permission findingThe recorded analysis reports that the temporary-file finding persists after the first change.

The first fix relied on Java defaults, which are owner-only on Mac and Linux in the example. Sonar’s rule applies a stricter requirement for an explicit setting. The agent makes another change and the analysis runs again.

My point is to find problems during the coding session, when the scope of a change is still small, instead of waiting for another review cycle. After the agent’s iterations, a deeper data-flow analysis is performed before it hands the work back.

I close with the intended benefits: less review back-and-forth, earlier remediation and more time for developers. The demonstration illustrates the workflow; the reliability and savings figures I discussed are the company’s reported claims.

Más de este canal

5 diapositivas17:02EN
AI Engineer· 31 oct 2026How Upstart Evaluates Voice Agents for Regulated Lending CallsBrooke Hopkins, Shiv Indap · CovalShiv Indap and Brooke Hopkins explain human review, LLM judges and simulation in a continuous evaluation loop.IA de vozEvaluacionesIngeniería de agentes+2
18:45EN
AI Engineer· 30 oct 2026Jack Woodruff on AI and the Human Work of Stock PickingVinoo Ganesh, Jack Woodruff · KeplerThe former Candlestick Capital CIO discusses research, auditable data and how AI may reshape investment teams with Kepler CEO Vinoo Ganesh.IA en finanzasInvestingHuman-AI Collaboration+2
6 diapositivas15:27EN
AI Engineer· 30 oct 2026Rayan Krishnan on Model Evaluation Beyond the Model CardRayan Krishnan · Vals AIThe Vals AI cofounder explains why task-level accuracy, total cost and company-specific evaluations can change which model is the best fit.EvaluacionesAI cost & performanceIA en finanzas+2
4 diapositivas19:06EN
AI Engineer· 30 oct 2026Wojciech Pluta on Deciding What an AI Agent Should RememberWojciech Pluta · OracleOracle’s Wojciech Pluta explains memory promotion, a mortgage-agent demonstration, and the controls needed to carry useful information across sessions.Agent memoryGeneración aumentada por recuperaciónIngeniería de agentes+2
8 diapositivas16:43EN
AI Engineer· 30 oct 2026Ishween Kaur on Securing Agent Payments with x402Ishween Kaur · SoFiA testnet walkthrough of price changes, replay, premature delivery, lookalike sellers and prompt injection in agent payment flows.Agentic commerceAI securityAI agents+2
6 diapositivas38:07EN
AI Engineer· 29 oct 2026Using Gitar to Verify Pull Requests Beyond the DiffTaylor Luttrell-Williams, Killian Carlsen-Phelan · SonarSonar’s Killian Carlsen-Phelan and Taylor Luttrell-Williams walk through ticket-transfer, pricing and CI-failure examples in a sample application.Code review & verificationIngeniería de agentesFlujos de desarrollo y pruebas+2