verifiedx или aaaa-nexus — Formally Verified AI Safety APIs
verifiedx: пакет плагинов для ИИ-инструментов разработки, издатель bigkan8. Витрин, которые мы читаем и где он опубликован: 1 (Claude Code: claude-plugins-community). aaaa-nexus — Formally Verified AI Safety APIs: MCP-сервер, издатель atomadictech. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-24. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  verifiedx |  aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Claude Code: claude-plugins-community | Опубликован Версия: 2b7f560 Форки (GitHub): 0 Звёзды (GitHub): 0 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.4.0 Число не опубликовано Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | verifiedx | aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 0 | Нет цифры на GitHub |
| Форки (GitHub) (различается) | 0 | Нет цифры на GitHub |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | Удалённый сервер (aaaa-nexus.atomadictech.workers.dev/mcp) |
| Транспорт (различается) | Не указано | Streamable HTTP |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Части набора (различается) | 2 | Не набор |
| Лицензия | Не указано | Не указано |
| Репозиторий (различается) | github.com/bigkan8/verifiedx-agent-skills | github.com/atomadictech/aaaa-nexus |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен (различается) | 2026-10-12 | 2026-10-11 |
| Endpoint на последней проверке (различается) | нет remote endpoint, который мы проверяем | Ответил 4 дн. назад |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
verifiedx
VerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such as OpenAI Agents, Claude Agent SDK, Vercel AI SDK, LangGraph, direct model clients, MCP, raw runtimes, lower seams, or explicit wrappers, then applies the minimal VerifiedX patch without redesigning the system. VerifiedX blocks unjustified high impact actions before execution while letting the workflow continue through the right path. It can also audit an existing integration and point out missing pieces or unnecessary complexity.
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Как запустить каждый
verifiedx Как плагин Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install verifiedx@claude-communityaaaa-nexus — Formally Verified AI Safety APIs Как удалённый MCP-сервер
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcpКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у aaaa-nexus — Formally Verified AI Safety APIs. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: verifiedx · Что умеет: aaaa-nexus — Formally Verified AI Safety APIs · Сравнить два других плагина
Данные витрины Claude Code: claude-plugins-community. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.