Benzi індексує код через Tree-Sitter для редагування на базі AST

Парсинг через Tree-Sitter замість скидання контексту

На відміну від інструментів, що покладаються на grep чи векторні ембедінги, Benzi виконує повний прохід парсером tree-sitter перед генерацією відповідей. Для десяти мов (включно з Python, TypeScript, Go та Rust) і розмітки система формує індекс символів, зв'язків та наслідування. Потоки даних пов'язуються безпосередньо в точках виклику, що дає змогу виконувати команди на зразок backflow чи trace_path за один крок $O(1)$.

Аналіз зони ураження та валідація правок

Запис коду здійснюється через контрольовані шлюзи:

• Оцінка радіуса змін: Агент аналізує залежних споживачів функції до застосування дифів.
• Синтаксичні шлюзи: Будь-яка зміна перевіряється синтаксичним деревом AST; у разі помилки парсингу правка автоматично скасовується.
• Трасування виконання: Для Python агент підключає трейсер, що фіксує аргументи й фактичний dispatch, усуваючи неоднозначності статичного аналізу.

Ефективність і витрати на SWE-bench Verified

Тестування на 500 задачах SWE-bench Verified із DeepSeek v4-flash показало значну економію ресурсів. Benzi виправляв дефекти за середньою ціною близько $0.01 за баг завдяки мінімальній кількості зчитаних рядків, тоді як рішення з традиційним читанням файлів витрачали до $0.18 за крок у складних сценаріях.