vighriday/Veris

vighriday/Veris

от vighriday
Veris — инфраструктура верификации поведения для AI-агентов: строит граф зависимостей, выявляет риски, дрейф и семантические рабочие процессы без запуска тестов. Полезна разработчикам и CI-пайплайн...

Veris

Veris

Behavioral Verification Infrastructure for autonomous coding agents.

CI License: MIT Node MCP Local-first Veris MCP server

Veris is the verification intelligence layer that sits between AI coding agents and production reliability. It does not run your tests. It tells any MCP-compatible coding agent or CI pipeline what behaviors are at risk, what to verify, and how confident the result actually is — backed by a behavioral graph, semantic workflow grouping, persistent run history, drift detection, and explainable confidence math.

Today: TypeScript + JavaScript repos. Python and Go adapters on the roadmap.

Works with any MCP client. CLI works standalone. Fully open source. Local-first. No cloud. No telemetry. No paid tier.


Plug-and-play install

Option A — As an MCP server (one config line)

Veris speaks the Model Context Protocol. Drop this into any MCP-compatible client config:

{
  "mcpServers": {
    "veris": {
      "command": "npx",
      "args": ["-y", "veris-core", "mcp"]
    }
  }
}
allocate_budget

Учитывая бюджет в минутах, жадно распределяет подмножество целей верификации с наибольшим эффектом. Эффективность = (уровень × критичность рабочего процесса × риск) / оценочная стоимость.

Учитывая бюджет в минутах, жадно распределяет подмножество целей верификации с наибольшим эффектом. Эффективность = (уровень × критичность рабочего процесса × риск) / оценочная стоимость.

Параметры

  • minutesnumberобязательный
analyze_pr_behavior

Вычисляет реальную разницу git-worktree по сравнению с базовой ссылкой (по умолчанию: origin/main, main, HEAD~1), возвращает затронутые рабочие процессы и оценки риска. При отсутствии базы git используется запасной вариант: синтетический срез 70%.

Вычисляет реальную разницу git-worktree по сравнению с базовой ссылкой (по умолчанию: origin/main, main, HEAD~1), возвращает затронутые рабочие процессы и оценки риска. При отсутствии базы git используется запасной вариант: синтетический срез 70%.

Параметры

  • baseRefstring
analyze_repository

Анализирует AST репозитория и возвращает количество файлов/сущностей. Первый шаг в цепочке.

Анализирует AST репозитория и возвращает количество файлов/сущностей. Первый шаг в цепочке.

Параметры

Без параметров.

analyze_workflow

Глубокое погружение в один рабочий процесс: участники, сигналы умозаключений, основные риски, гипотезы рисков времени выполнения.

Глубокое погружение в один рабочий процесс: участники, сигналы умозаключений, основные риски, гипотезы рисков времени выполнения.

Параметры

  • workflowIdstringобязательный
confidence_history

Возвращает тенденцию уверенности и глубины выполнения за последние N запусков из локального состояния.

Возвращает тенденцию уверенности и глубины выполнения за последние N запусков из локального состояния.

Параметры

  • limitnumber
cross_repo_snapshot

Возвращает последний снимок confidence + drift по всем репозиториям, зарегистрированным в ~/.veris/registry.json. Полезно, когда рабочий процесс охватывает несколько сервисов.

Возвращает последний снимок confidence + drift по всем репозиториям, зарегистрированным в ~/.veris/registry.json. Полезно, когда рабочий процесс охватывает несколько сервисов.

Параметры

Без параметров.

detect_drift

Сравнивает текущие отпечатки рабочих процессов с предыдущими запусками в state.db. Выявляет скрытые перезаписи (те же участники, другая топология), расширение/сжатие поверхности и колебательные рефакторинги.

Сравнивает текущие отпечатки рабочих процессов с предыдущими запусками в state.db. Выявляет скрытые перезаписи (те же участники, другая топология), расширение/сжатие поверхности и колебательные рефакторинги.

Параметры

Без параметров.

export_behavioral_graph

Возвращает поведенческий граф (узлы и рёбра, как DependsOn, так и Invokes). Рабочие процессы раскрашены по доменам.

Возвращает поведенческий граф (узлы и рёбра, как DependsOn, так и Invokes). Рабочие процессы раскрашены по доменам.

Параметры

Без параметров.

export_onboarding

Записывает онбординг-карту с приоритетом рабочих процессов в veris-reports/onboarding/ — по одному markdown-файлу на каждый рабочий процесс плюс индекс.

Записывает онбординг-карту с приоритетом рабочих процессов в veris-reports/onboarding/ — по одному markdown-файлу на каждый рабочий процесс плюс индекс.

Параметры

Без параметров.

generate_adversarial_probes

Генерирует конкретные атакующие тестовые гипотезы Tier 3 для каждого узла с высоким риском (конкурентность, идемпотентность, штормы повторных попыток, повтор, частичный сбой, лавина кэша, упорядочивание). Каждая проверка содержит сценарий и ожидаемый инвариант.

Генерирует конкретные атакующие тестовые гипотезы Tier 3 для каждого узла с высоким риском (конкурентность, идемпотентность, штормы повторных попыток, повтор, частичный сбой, лавина кэша, упорядочивание). Каждая проверка содержит сценарий и ожидаемый инвариант.

Параметры

Без параметров.

generate_verification_plan

Генерирует директивы валидации уровней 1/2/3, привязанные к затронутым узлам. Уровень 3: враждебный.

Генерирует директивы валидации уровней 1/2/3, привязанные к затронутым узлам. Уровень 3: враждебный.

Параметры

Без параметров.

identify_unverified_behaviors

Возвращает оценку уверенности на основе реальной истории выполнения (с затуханием по периоду полураспада) + оставшихся непроверенных предположений. Передайте executedTargetsCount, чтобы переопределить значение, полученное из состояния.

Возвращает оценку уверенности на основе реальной истории выполнения (с затуханием по периоду полураспада) + оставшихся непроверенных предположений. Передайте executedTargetsCount, чтобы переопределить значение, полученное из состояния.

Параметры

  • executedTargetsCountnumber
list_workflows

Автоматически кластеризует граф в семантические домены рабочих процессов (Аутентификация, Биллинг, Оформление заказа, Кэширование, Очередь и т.д.) и возвращает для каждого рабочего процесса описательное влияние + макс/средний риск + гипотезы о рисках времени выполнения. Это представление репозитория с акцентом на рабочие процессы.

Автоматически кластеризует граф в семантические домены рабочих процессов (Аутентификация, Биллинг, Оформление заказа, Кэширование, Очередь и т.д.) и возвращает для каждого рабочего процесса описательное влияние + макс/средний риск + гипотезы о рисках времени выполнения. Это представление репозитория с акцентом на рабочие процессы.

Параметры

Без параметров.

node_history

Возвращает историю выполнения и рисков для конкретного узла по всем записанным запускам.

Возвращает историю выполнения и рисков для конкретного узла по всем записанным запускам.

Параметры

  • nodeIdstringобязательный
register_repo

Добавляет репозиторий в межрепозиторный реестр на уровне пользователя. Последующие вызовы cross_repo_snapshot будут включать его.

Добавляет репозиторий в межрепозиторный реестр на уровне пользователя. Последующие вызовы cross_repo_snapshot будут включать его.

Параметры

  • namestringобязательный
  • pathstringобязательный
  • tagsstring[]
report_execution

Замыкает цикл обратной связи. Внешние агенты (любой MCP-совместимый агент кодирования, CI-раннер) отправляют обратно результаты верификации: pass/fail/flaky/skipped для каждого nodeId+tier+directive. Подсчёт уверенности теперь использует реальные данные вместо счётчика.

Замыкает цикл обратной связи. Внешние агенты (любой MCP-совместимый агент кодирования, CI-раннер) отправляют обратно результаты верификации: pass/fail/flaky/skipped для каждого nodeId+tier+directive. Подсчёт уверенности теперь использует реальные данные вместо счётчика.

Параметры

  • executionsobject[]обязательный
what_if_revert

Контрфактуал: симулирует удаление указанных узлов из головного графа, затем пересчитывает diff + риск относительно фактической базы. Отвечает на вопрос: «какое поведение восстанавливается, если я откачу это?».

Контрфактуал: симулирует удаление указанных узлов из головного графа, затем пересчитывает diff + риск относительно фактической базы. Отвечает на вопрос: «какое поведение восстанавливается, если я откачу это?».

Параметры

  • nodeIdsstring[]обязательный

Другие проверенные MCP-сервера

kestra-io/mcp-server-python

kestra-io/mcp-server-python

официальный

MCP сервер для интеграции AI-ассистентов с платформой Kestra. Инструмент предоставляет управление потоками, выполнениями и логами. Работает в Docker и локально через uv. Полезен разработчикам для автоматизации процессов.

Python28
coding-solo/godot-mcp

coding-solo/godot-mcp

MCP сервер для разработчиков на Godot: запускает редактор, выполняет проекты, захватывает отладку и управляет сценами. Интеграция с AI позволяет быстро проверять код и отлаживать игры прямо в движке.

JavaScript4776
Doist/todoist-mcp

Doist/todoist-mcp

официальный

MCP сервер для Todoist даёт AI-агентам полный доступ к задачам. Создавайте, ищите и редактируйте задачи через LLM. Поддерживает streamable HTTP, OAuth, интеграцию с Claude, Cursor и VS Code. Инструменты переиспользуемы и работают как MCP, так и напрямую.

TypeScript528
browserbase/mcp-server-browserbase

browserbase/mcp-server-browserbase

официальный

MCP сервер облачной автоматизации браузера Browserbase. Позволяет AI-агентам навигировать по сайтам, извлекать данные и выполнять действия. Полезен для RPA и веб-скрапинга. Доступен self-hosted и hosted.

TypeScript3408
mobile-next/mobile-mcp

mobile-next/mobile-mcp

MCP сервер для мобильной автоматизации iOS и Android на симуляторах, эмуляторах и реальных устройствах. Взаимодействует с приложениями через accessibility-деревья и скриншоты. Подходит для тестирования, data-entry, агентных систем и LLM-сценариев.

TypeScript5489
julien040/anyquery

julien040/anyquery

MCP сервер Anyquery дает возможность языковым моделям выполнять SQL-запросы к файлам, базам данных и приложениям. Полезен разработчикам и аналитикам, чтобы дать AI прямой доступ к данным через един...

Go1735
© Каталог MCP, 2026. Все права защищены.
Проект не аффилирован с Anthropic и любыми упомянутыми продуктами.
Все названия и торговые марки принадлежат их владельцам.
Контакты для связи: hi@mcp-katalog.ru

Лука Никитин