Глоссарий
137 терминов · 12 наборов
- Агенты и инструменты
- Агенты для программирования
- Компании
- Харнесс
- MCP и безопасность
- Системы и сервисы
- Спеки и архитектура
- Языки и платформы
- Тестирование
- Формальная верификация
- Модель и промпты
- Группы, ходы и правила
Агенты и инструменты · 11
- ИИ-агент
- ИИ-агент (LLM-агент, агентный ИИ) — программа, в которой нейросеть (LLM) работает внутри харнесса: сама выбирает шаги, читает файлы, запускает команды, вызывает инструменты и проверяет результат прямо в вашей среде.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиСколько правил нужно, чтобы описать игру
ещё 29
Как найти состояние гонки (race condition) в кодеЧем model checking отличается от тестовКакой язык формальной верификации выбратьКакую расстановку шариков на кольце распутывать дольше всехНейросеть собирает кубик Рубика 4×4×4 и 5×5×5 короче 1000+ командКороткий цикл обратной связиJira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1ССколько нужно ИИ-агентовЗаберут ли ИИ-агенты вашу работуАналитические отчёты с ИИ-агентомClaude in ChromeData plane и control plane агентаРасследование инцидента с ИИ-агентомОбласти MCP в Claude CodeТребования и протоколы встреч с ИИРабота QA после поддержки с ИИ-агентомMCP для ИИ-агентаClaude Code, Codex, Cursor и Hermes AgentКак провести и проанализировать интервью о работе с AIОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеПодходы к работе с харнессомПетля сверки для спекСпеки по агрегатамAGENTS.md и CLAUDE.md, спеки, правила и скиллыКого звать на интервью перед покупкой AI-инструментовПромпты для рабочих задач - Тестовый стенд
- Стенд в IT — отдельная копия системы, где можно пробовать и ломать, не задевая рабочую (прод).Vitest или JestMCP-сервер и ИИ-агент для 1САналитические отчёты с ИИ-агентом
- Human-in-the-loop
- Human-in-the-loop (HITL; перевод — «человек в контуре», дословно «человек в цикле») — принцип и концепция, по которым агент не завершает работу сам: на важных шагах решение принимает человек.MCP-сервер и ИИ-агент для 1СClaude Code, Codex, Cursor и Hermes AgentHarness engineering на практике
- LLM
- LLM (large language model, большая языковая модель) — в IT так называют нейросеть, обученная на больших объёмах текста и кода, которая продолжает текст по запросу; текст она читает и пишет токенами.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросети
- IDE
- Программа, в которой пишут код: редактор, подсказки, отладчик и запуск проекта в одном окне.Claude Code, Codex, Cursor и Hermes Agent
- VS Code
- VS Code (Visual Studio Code) — бесплатный редактор кода от Microsoft с открытым исходным кодом.
- Терминал
- Окно, где команды вводят текстом; по-английски это CLI — интерфейс командной строки.Claude in ChromeClaude Code, Codex, Cursor и Hermes Agent
- Tool (инструмент) и tool calling
- Tool (инструмент) — действие, которое агент может вызвать: прочитать файл, найти заявку в Jira, выполнить запрос к базе.Jira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1С
ещё 9
Claude in ChromeОбласти MCP в Claude CodeMCP для ИИ-агентаClaude Code, Codex, Cursor и Hermes AgentКак провести и проанализировать интервью о работе с AIОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеКого звать на интервью перед покупкой AI-инструментовПромпты для рабочих задач - Облачный ИИ-агент
- Облачный ИИ-агент — ИИ-агент, который выполняет задачу на удалённом сервере в изолированной среде с копией вашего репозитория.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1СClaude Code, Codex, Cursor и Hermes Agent
- Песочница
- Огороженное место, где выполняются действия агента: там видны только разрешённые папки, а в сеть можно только на разрешённые адреса.MCP-сервер и ИИ-агент для 1СClaude Code, Codex, Cursor и Hermes AgentПетля сверки для спек
Агенты для программирования · 9
- Claude Code
- Агент для программирования от Anthropic: читает проект, правит файлы, запускает команды и тесты, работает с git.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1САналитические отчёты с ИИ-агентом
ещё 12
Claude in ChromeData plane и control plane агентаРасследование инцидента с ИИ-агентомОбласти MCP в Claude CodeMCP для ИИ-агентаClaude Code, Codex, Cursor и Hermes AgentКак провести и проанализировать интервью о работе с AIHarness engineering на практикеПодходы к работе с харнессомПетля сверки для спекAGENTS.md и CLAUDE.md, спеки, правила и скиллыПромпты для рабочих задач - Clauding
- Clauding — неформальное слово для работы с Claude или через Claude: человек пишет задачу, смотрит результат и уточняет, пока не получит нужное.
- Codex
- Программа-агент от OpenAI для программирования на моделях GPT: читает проект, правит файлы, запускает команды и тесты, готовит пулл-реквесты.Jira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1С
ещё 8
Claude Code, Codex, Cursor и Hermes AgentКак провести и проанализировать интервью о работе с AIОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеПодходы к работе с харнессомПетля сверки для спекAGENTS.md и CLAUDE.md, спеки, правила и скиллыКого звать на интервью перед покупкой AI-инструментов - Cursor
- Программа-редактор кода от Anysphere на основе VS Code со встроенным ИИ-агентом: вы работаете в редакторе, агент рядом, а модель выбираете из разных вендоров или берёте свою модель Composer.Jira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1С
- Hermes Agent
- Открытый и бесплатный агент от Nous Research (по-русски его часто называют «Гермес агент»), который вы ставите на свой сервер или компьютер и подключаете к любой модели — через API вендоров или локальную.Claude Code, Codex, Cursor и Hermes Agent
- OpenCode
- Бесплатный открытый агент для программирования, который работает в терминале; есть также приложение для компьютера и расширения для IDE.Claude Code, Codex, Cursor и Hermes Agent
- Gemini CLI
- Открытый агент Google для программирования в терминале на моделях Gemini; вышел в июне 2025 года.AGENTS.md и CLAUDE.md, спеки, правила и скиллы
- Antigravity CLI
- Агент Google для программирования в терминале, связанный с приложением Antigravity.
- Claude in Chrome
- Расширение Claude для браузера Chrome, через которое агент работает в вашем браузере: открывает страницы, кликает, заполняет формы и читает консоль.Claude in ChromeData plane и control plane агентаОбласти MCP в Claude Code
Компании · 10
- Anthropic
- Американская компания, которая делает семейство языковых моделей Claude: Opus, Sonnet, Haiku и Fable.MCP для ИИ-агентаClaude Code, Codex, Cursor и Hermes AgentHarness engineering на практике
- OpenAI
- Американская компания, которая делает семейство языковых моделей GPT.Сколько правил нужно, чтобы описать игруClaude Code, Codex, Cursor и Hermes AgentОтчёт по использованию ChatGPT Enterprise в компании
- Nous Research
- Американская исследовательская лаборатория, которая делает открытые языковые модели Hermes.Claude Code, Codex, Cursor и Hermes Agent
- DeepSeek
- Китайская компания, которая делает языковые модели DeepSeek с открытыми весами: их можно скачать и запустить на своём сервере.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросети
- Яндекс
- Российская компания, которая делает языковые модели Alice AI, а раньше — линейку YandexGPT.Jira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросети
- JetBrains
- Компания, основанная в Праге в 2000 году: делает IDE IntelliJ IDEA, PyCharm, WebStorm и другие, а также язык Kotlin.
- Microsoft
- Американская компания, которая делает ассистента Copilot: он встроен в Windows, Word, Excel, Outlook и Teams.Jira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиAGENTS.md и CLAUDE.md, спеки, правила и скиллы
- Atlassian
- Австралийская компания, которая делает Jira, Confluence и Bitbucket — рабочие системы многих команд разработки.Jira и ИИ-агентMCP для ИИ-агента
Харнесс · 15
- Харнесс
- Всё вокруг модели, что делает её рабочим агентом: инструкции, инструменты, права доступа, память и проверки.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиРабота QA после поддержки с ИИ-агентомMCP для ИИ-агента
- Хуки
- Скрипты, которые харнесс запускает автоматически в заданные моменты работы агента: перед действием, после правки файла, при завершении.Как найти состояние гонки (race condition) в кодеHarness engineering на практикеAGENTS.md и CLAUDE.md, спеки, правила и скиллы
- Agent loop (цикл агента)
- Повторяющийся ход работы агента: подумать, вызвать тул, посмотреть результат и снова подумать.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиHarness engineering на практике
- ReAct
- Схема работы агента, где модель по очереди рассуждает и действует: решает, что сделать, вызывает инструмент, читает результат и снова рассуждает.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP для ИИ-агента
- Сессия
- Один непрерывный разговор с агентом: от запуска до выхода или очистки.Как найти состояние гонки (race condition) в кодеКороткий цикл обратной связиЗаберут ли ИИ-агенты вашу работу
- Память агента
- Заметки, которые агент сохраняет между сессиями: правила проекта, найденные ограничения, договорённости.
- Библия проекта
- Описание того, как устроен проект и почему: границы систем, договорённости, принципы и ценности — что важнее при выборе и чего нельзя ни при каких условиях.Заберут ли ИИ-агенты вашу работуAGENTS.md и CLAUDE.md, спеки, правила и скиллы
- Правила агента
- Короткие указания агенту «делай так, не делай этого», которые харнесс подгружает в его контекст: всегда или только когда агент трогает нужные файлы.MCP-сервер и ИИ-агент для 1С
- Статические проверки
- Тесты, линтеры, сборка и другие автоматические сверки, которыми подтверждается результат агента до того, как на него посмотрит человек.Как найти состояние гонки (race condition) в коде
- Оркестрация
- Управление несколькими шагами или несколькими агентами: кто за что отвечает, в каком порядке работает и как результаты передаются дальше — через файлы, через итог субагента или сообщениями между сессиями.
- Сообщения между сессиями
- Способ, которым параллельные сессии агентов передают друг другу текст: одна находит другую по имени и отправляет сообщение, та читает его на своём следующем шаге.
- Логи и трассировка
- Запись каждого шага агента: что он прочитал, какие инструменты вызвал и что получил в ответ.
- CLAUDE.md
- Файл в корне проекта с постоянными инструкциями для Claude Code: структура проекта, команды сборки и тестов, соглашения.Заберут ли ИИ-агенты вашу работуHarness engineering на практикеAGENTS.md и CLAUDE.md, спеки, правила и скиллы
- AGENTS.md
- Общий для разных агентов файл с инструкциями по проекту.Заберут ли ИИ-агенты вашу работуHarness engineering на практикеAGENTS.md и CLAUDE.md, спеки, правила и скиллы
- Скилл
- Папка с файлом
SKILL.md: инструкция и вспомогательные файлы для одной повторяющейся задачи, например отчёта или миграции.MCP-сервер и ИИ-агент для 1СЗаберут ли ИИ-агенты вашу работуClaude in Chromeещё 11
Области MCP в Claude CodeТребования и протоколы встреч с ИИРабота QA после поддержки с ИИ-агентомMCP для ИИ-агентаClaude Code, Codex, Cursor и Hermes AgentОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеПодходы к работе с харнессомСпеки по агрегатамAGENTS.md и CLAUDE.md, спеки, правила и скиллыПромпты для рабочих задач
MCP и безопасность · 8
- MCP
- Открытый протокол, по которому агент подключается к внешним сервисам — Jira, Airtable, базам данных — через единый интерфейс.Короткий цикл обратной связиJira и ИИ-агентMCP-сервер и ИИ-агент для 1С
ещё 13
Заберут ли ИИ-агенты вашу работуАналитические отчёты с ИИ-агентомClaude in ChromeData plane и control plane агентаРасследование инцидента с ИИ-агентомОбласти MCP в Claude CodeТребования и протоколы встреч с ИИРабота QA после поддержки с ИИ-агентомMCP для ИИ-агентаКак провести и проанализировать интервью о работе с AIОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеПетля сверки для спек - MCP-клиент
- Часть на стороне агента: обращается к MCP-серверу системы, просит данные и вызывает инструменты.MCP для ИИ-агента
- MCP-сервер
- Часть на стороне системы (Jira, GitLab, базы): отдаёт данные и принимает действия от агента по единому протоколу.MCP-сервер и ИИ-агент для 1СClaude in ChromeData plane и control plane агента
- OAuth
- Вход через браузер: когда агент подключается к сервису, харнесс открывает страницу входа этого сервиса, вы вводите пароль там и подтверждаете доступ, а агент получает токен.Расследование инцидента с ИИ-агентомMCP для ИИ-агента
- Уровни MCP-серверов
- Уровень отвечает на два вопроса: в каких проектах работает MCP-сервер и кто его видит.MCP-сервер и ИИ-агент для 1СData plane и control plane агентаРасследование инцидента с ИИ-агентом
- Prompt injection
- Атака, при которой злоумышленник прячет в своём тексте — письме, тикете, веб-странице — инструкцию для агента.Data plane и control plane агентаРасследование инцидента с ИИ-агентом
- Data plane и control plane
- Две плоскости работы агента.Короткий цикл обратной связиЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиData plane и control plane агента
ещё 1
MCP для ИИ-агента - Права доступа
- Права ИИ-агента — что ему разрешено делать в вашей среде и подключённых системах: только читать или ещё и писать, какие команды запускать.Как найти состояние гонки (race condition) в кодеКакой язык формальной верификации выбратьMCP-сервер и ИИ-агент для 1С
Системы и сервисы · 5
- Jira
- Система учёта задач и ошибок от Atlassian.Короткий цикл обратной связиJira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросети
- Sentry
- Сервис мониторинга ошибок: собирает исключения из приложения вместе с контекстом.Короткий цикл обратной связиJira и ИИ-агентАналитические отчёты с ИИ-агентом
- Grafana
- Система графиков и дашбордов для метрик и логов.Короткий цикл обратной связиАналитические отчёты с ИИ-агентомData plane и control plane агента
- GitLab
- Платформа для хранения кода и запросов на слияние.Jira и ИИ-агентMCP-сервер и ИИ-агент для 1СMCP для ИИ-агента
- Confluence
- Вики-система Atlassian: база знаний команды.Требования и протоколы встреч с ИИMCP для ИИ-агента
Спеки и архитектура · 26
- Harness engineering
- Общая дисциплина: настраивать харнесс — что агент знает о проекте, какими инструментами владеет, что ему разрешено и как проверяется результат.Harness engineering на практике
- HDD
- Один конкретный метод внутри harness engineering: каждая ошибка агента превращается в правило его среды — инструкцию, проверку или ограничение.Заберут ли ИИ-агенты вашу работуРабота QA после поддержки с ИИ-агентомMCP для ИИ-агента
- Spec-Driven Development
- Подход, где сначала пишется спецификация — что система должна делать, — а код пишет и сверяет с ней агент.Harness engineering на практике
- OpenSpec
- Лёгкий инструмент для Spec-Driven Development от Fission AI.Спеки по агрегатам
- Spec Kit
- Набор GitHub для Spec-Driven Development: утилита
specifyставит в проект команды для агента, и они ведут по шагам — принципы проекта (/speckit-constitution), спека (/speckit-specify), технический план (/speckit-plan), задачи (/speckit-tasks), код (/speckit-implement) и сверка с артефактами (/speckit-converge), которую повторяют, пока код и спека не сойдутся.AGENTS.md и CLAUDE.md, спеки, правила и скиллы - RFC 2119
- Стандарт, который задаёт значение слов MUST, SHOULD и MAY в требованиях.Спеки по агрегатам
- Domain-Driven Design
- Подход к проектированию, где код строится вокруг предметной области и её языка, общего с бизнесом.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиСпеки по агрегатам
- Агрегат
- Группа связанных объектов предметной области, которая меняется как единое целое через корень и сама держит бизнес-правила.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиКак найти состояние гонки (race condition) в коде
- Ограниченный контекст
- Граница, внутри которой термины имеют один смысл.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиКак найти состояние гонки (race condition) в коде
- Предметная область
- Часть реального мира, для которой пишут программу, со своими понятиями и правилами: например, бронирование переговорных.Где ставить проверку работы ИИ-агента
- Единый язык
- Общий словарь разработчиков и бизнеса внутри одного ограниченного контекста: одни и те же слова звучат в разговоре, в спеке и в коде.
- Императивный подход
- Стиль записи программы, где по шагам расписано, как прийти к результату: найти брони комнаты, сравнить интервалы, записать новую.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Декларативный подход
- Стиль записи, где программа — система правил и ограничений, описывающих нужный результат, без порядка шагов: сказано, что должно быть верно, а как этого добиться, решает движок.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Kubernetes
- Система, которая запускает программы в контейнерах на многих серверах и следит за ними.Петля сверки для спекСпеки по агрегатам
- SQL
- Декларативный язык запросов к реляционным базам данных.MCP-сервер и ИИ-агент для 1С
- JSON Schema
- Декларативный язык, которым описывают форму данных в JSON: какие поля обязательны, какого они типа, какие значения допустимы.
- Теорема CAP
- Когда данные лежат на нескольких серверах и связь между ними оборвалась, система не может одновременно отвечать на каждый запрос и показывать всем одни и те же данные: приходится либо ждать восстановления связи, либо отвечать по своей, возможно устаревшей, копии.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Agile
- Подход к разработке короткими циклами: сделать небольшую часть, показать её, получить обратную связь и поправить план.Где ставить проверку работы ИИ-агента
- Prolog
- Язык, в котором программа — это факты и правила вывода, а движок сам ищет ответ на вопрос.
- Datalog
- Урезанный Prolog для запросов к данным: те же факты и правила вывода, но без возможностей, из-за которых программа может работать вечно.
- Петля сверки
- Цикл, в котором система постоянно сравнивает желаемое состояние с фактическим и приводит второе к первому.Как найти состояние гонки (race condition) в кодеПетля сверки для спекСпеки по агрегатам
- Memory Bank
- Папка
memory-bankс шестью markdown-файлами, где агент держит контекст проекта между сессиями:projectbrief(цели и рамки),productContext(зачем продукт),systemPatterns(архитектура),techContext(стек),activeContext(текущий фокус) иprogress(что готово).AGENTS.md и CLAUDE.md, спеки, правила и скиллы - Требования
- Описание того, что система должна делать и при каких условиях.Где ставить проверку работы ИИ-агентаКак найти состояние гонки (race condition) в кодеJira и ИИ-агент
- Модель C4
- C4 — способ рисовать устройство программной системы в четыре приближения, как карту: от целой страны до отдельной улицы.Работа QA после поддержки с ИИ-агентом
- Модель OSI
- Эталонная модель, которая раскладывает сетевое взаимодействие на семь уровней: от физического до прикладного.Заберут ли ИИ-агенты вашу работу
- Эпиморфизм
- Соответствие, при котором каждая часть результата получена из чего-то в источнике: непокрытых частей нет.MCP для ИИ-агента
Языки и платформы · 8
- JavaScript
- Язык программирования, на котором работают страницы сайтов в браузере: кнопки, формы и всё, что откликается на действия.Vitest или JestЧем model checking отличается от тестов
- TypeScript
- Надстройка над JavaScript, в которой у значений указывают тип: число, строка и так далее.Vitest или Jest
- Babel
- Программа, которая переводит новый JavaScript в такой, который понимают более старые браузеры и среды.Vitest или Jest
- Node.js
- Программа, которая запускает JavaScript вне браузера: на сервере, в командной строке и в скриптах.Vitest или Jest
- Vite
- Программа, которая собирает код сайта и в процессе работы мгновенно показывает правки в браузере.Vitest или Jest
- React
- Библиотека на JavaScript для построения страниц сайтов: страница собирается из готовых блоков-компонентов, и при изменении данных обновляются только нужные блоки.Vitest или Jest
- Angular
- Каркас для построения сайтов и веб-приложений на JavaScript и TypeScript: страница собирается из готовых блоков-компонентов.Vitest или Jest
- Vue
- Каркас для построения сайтов на JavaScript: страница собирается из блоков-компонентов, и его можно подключать к проекту постепенно.Vitest или Jest
Тестирование · 10
- Автоматический тест
- Короткая программа, которая запускает код с заданным входом и сверяет результат с ожидаемым.Vitest или JestКак найти состояние гонки (race condition) в кодеЧем model checking отличается от тестов
- QA
- QA (quality assurance, «обеспечение качества») — роль человека, который проверяет, что продукт делает обещанное, и находит баги раньше пользователей.Короткий цикл обратной связиJira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросети
- Баг
- Баг — ошибка в программе: она делает не то, что задумано, или падает.Как найти состояние гонки (race condition) в кодеКороткий цикл обратной связиJira и ИИ-агент
- Диаграмма последовательности
- Диаграмма последовательности показывает, как участники системы обмениваются сообщениями по порядку времени: участники стоят сверху, стрелки идут вниз.Работа QA после поддержки с ИИ-агентом
- API
- API — набор правил, по которым одна программа обращается к другой: какие запросы можно отправить и какие ответы придут.Jira и ИИ-агентСколько нужно ИИ-агентовРабота QA после поддержки с ИИ-агентом
- PoC
- PoC (proof of concept, «доказательство осуществимости») — небольшой код или сценарий, который показывает, что проблема действительно воспроизводится.Работа QA после поддержки с ИИ-агентом
- Jest
- Один из самых распространённых движков автоматических тестов для кода на JavaScript.Vitest или JestКак найти состояние гонки (race condition) в кодеЧем model checking отличается от тестов
- Vitest
- Движок автоматических тестов для JavaScript нового поколения, построенный на сборщике Vite.Vitest или JestЧем model checking отличается от тестовHarness engineering на практике
- QUnit
- Движок автоматических тестов для кода на JavaScript, из той же семьи, что Jest и Vitest.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиVitest или Jest
- Мутационное тестирование
- Способ проверить сами проверки: человек или агент нарочно портит копию кода или модели, например убирает одно условие, и смотрит, заметят ли это автоматические тесты и правила.Vitest или JestКак найти состояние гонки (race condition) в коде
Формальная верификация · 16
- Quint
- Язык, на котором описывают правила системы так, чтобы их можно было запускать и проверять до написания кода.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиVitest или Jest
- TLA+
- Способ описать, как система ведёт себя шаг за шагом, настолько точно, что описание можно проверить программой, как чертёж проверяют до стройки.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиVitest или Jest
- Alloy
- Способ описать объекты и связи между ними и попросить программу найти небольшой пример, где правило нарушено.Vitest или JestКак найти состояние гонки (race condition) в кодеЧем model checking отличается от тестов
- TLC
- Первая программа, которая проверяет модели на TLA+.Чем model checking отличается от тестовКакой язык формальной верификации выбрать
- Apalache
- Программа, которая проверяет модели на TLA+ и на Quint.Как найти состояние гонки (race condition) в кодеЧем model checking отличается от тестовКакой язык формальной верификации выбрать
- Z3
- Самый известный SMT-решатель: программа подбирает значения под заданные условия.Чем model checking отличается от тестов
- SMT-решатель
- Программа, которая по набору условий вроде «сумма больше десяти, а счёт не отрицательный» сама находит значения, при которых все условия выполняются, или доказывает, что таких значений нет.
- Проверка моделей
- Метод, при котором программа автоматически обходит состояния описанной системы и проверяет, что в каждом из них правила соблюдены.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиVitest или Jest
- Инвариант
- Условие, которое должно выполняться в каждом состоянии системы, в каком бы порядке ни шли действия.Где ставить проверку работы ИИ-агентаСпеки по агрегатам
- Теорема Райса
- Нет программы, которая для любой программы точно скажет, есть ли у неё заданное свойство поведения, например «никогда не списывает деньги без заказа», если это свойство есть у одних программ и нет у других.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Проблема остановки
- Вопрос: закончит ли данная программа работу на данном входе или будет работать вечно.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Предикат
- В математике — утверждение с переменной, которое для каждого значения переменной становится истинным или ложным: = « — чётное число» даёт «да» при и «нет» при .Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Алан Тьюринг
- Британский математик (1912–1954), один из основателей теории вычислений.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словами
- Парадокс брадобрея
- Деревенский брадобрей бреет всех, кто не бреет себя сам, и только их.Теорема Райса простыми словами
- Event storming
- Формат совместной работы, на котором команда раскладывает предметную область на события, а затем находит команды, агрегаты и правила.Где ставить проверку работы ИИ-агента
- Гонка
- Ошибка, при которой результат зависит от того, какое из двух действий успело раньше.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиVitest или Jest
Модель и промпты · 5
- Промпт
- Запрос к модели: задача, контекст, формат ответа и ограничения.Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиАналитические отчёты с ИИ-агентомClaude Code, Codex, Cursor и Hermes Agent
- Источник
- Система или документ, где лежит исходный факт: заявка, таблица, запись встречи.Где ставить проверку работы ИИ-агентаVitest или JestJira и ИИ-агент
ещё 16
Заберут ли ИИ-агенты вашу работуАналитические отчёты с ИИ-агентомData plane и control plane агентаРасследование инцидента с ИИ-агентомТребования и протоколы встреч с ИИMCP для ИИ-агентаClaude Code, Codex, Cursor и Hermes AgentКак провести и проанализировать интервью о работе с AIОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеПодходы к работе с харнессомПетля сверки для спекСпеки по агрегатамAGENTS.md и CLAUDE.md, спеки, правила и скиллыКого звать на интервью перед покупкой AI-инструментовПромпты для рабочих задач - Галлюцинация
- Галлюцинация LLM — уверенный, но выдуманный ответ большой языковой модели: несуществующий факт, функция или ссылка.Claude in ChromeТребования и протоколы встреч с ИИMCP для ИИ-агента
- Контекст
- Всё, что модель видит в данный момент: диалог, файлы проекта и данные подключённых систем.Где ставить проверку работы ИИ-агентаТеорема Райса простыми словамиКак найти состояние гонки (race condition) в коде
ещё 17
Чем model checking отличается от тестовКороткий цикл обратной связиJira и ИИ-агентЧем ИИ-агент отличается от ассистента, чата, чат-бота и нейросетиMCP-сервер и ИИ-агент для 1ССколько нужно ИИ-агентовЗаберут ли ИИ-агенты вашу работуClaude in ChromeMCP для ИИ-агентаКак провести и проанализировать интервью о работе с AIОтчёт по использованию ChatGPT Enterprise в компанииHarness engineering на практикеПодходы к работе с харнессомПетля сверки для спекСпеки по агрегатамAGENTS.md и CLAUDE.md, спеки, правила и скиллыПромпты для рабочих задач - Токен
- Единица текста, которую считает LLM: примерно слог или короткое слово.Где ставить проверку работы ИИ-агентаJira и ИИ-агентClaude in Chrome
Группы, ходы и правила · 14
- Группа (в математике)
- Набор ходов, которые можно выполнять цепочкой, один за другим, и отменять: есть ход «ничего не делать», и у каждого хода есть обратный.Сколько правил нужно, чтобы описать игру
- Образующие группы
- Небольшой набор ходов, из которых цепочками получаются все остальные ходы группы.Сколько правил нужно, чтобы описать игруКакую расстановку шариков на кольце распутывать дольше всех
- Соотношение группы
- Правило вида «эта цепочка ходов возвращает всё на место».Сколько правил нужно, чтобы описать игру
- Копредставление группы
- Запись группы буквами-ходами и списком соотношений.Сколько правил нужно, чтобы описать игру
- Граф Кэли
- Карта группы: точка — положение, стрелка — ход из одного положения в другое.Сколько правил нужно, чтобы описать игруКакую расстановку шариков на кольце распутывать дольше всехНейросеть собирает кубик Рубика 4×4×4 и 5×5×5 короче 1000+ команд
- Коммутатор
- Цепочка из четырёх ходов: сделать u, сделать v, отменить u, отменить v.Сколько правил нужно, чтобы описать игру
- Централизатор
- Все ходы, которые можно менять местами с данным ходом: его «друзья».Сколько правил нужно, чтобы описать игру
- Группа с одним соотношением
- Группа, которую можно задать любым числом ходов, но единственным правилом.Сколько правил нужно, чтобы описать игру
- Модуль соотношений
- Все следствия правил группы, записанные «бухгалтерски»: порядок ходов в записи не помнится, записи складываются и переносятся по карте группы.Сколько правил нужно, чтобы описать игру
- Разрыв соотношений
- Ситуация, когда наименьшее число соотношений группы больше наименьшего числа образующих её модуля соотношений.Сколько правил нужно, чтобы описать игру
- Гомология
- Запись петли числами: сколько раз пройден каждый отрезок вперёд минус сколько раз назад.Сколько правил нужно, чтобы описать игру
- Задача Уолла D2
- Вопрос Уолла 1965 года: если у трёхмерной фигуры третье измерение не прибавляет ничего к подсчёту «дыр» (такие фигуры называют комплексами D2), можно ли деформировать её в двумерную.Сколько правил нужно, чтобы описать игру
- Наибольший общий делитель
- Наибольшее число, на которое делятся оба числа.Сколько правил нужно, чтобы описать игру
- Система компьютерной алгебры
- Программа, которая считает с формулами и абстрактными объектами, а не только с числами.Сколько правил нужно, чтобы описать игру