MaruCheck: open-source верификатор для кода, написанного ИИ, не даёт агенту подкрутить тесты
Показан на Hacker News проект MaruCheck — локальный инструмент верификации, который сверяет код, сгенерированный ИИ, с отдельным человеческим контрактом. Если агент одновременно меняет реализацию и тесты, MaruCheck находит расхождение с утверждёнными требованиями и блокирует...
Открыть материал →