aaaa-nexus — Formally Verified AI Safety APIs

aaaa-nexus: формально верифицированные API безопасности ИИ, оплата в USDC

От сообществаРаботаетБез входаГлобальныйБесплатноТолько чтение

Что умеет

  • Оценивать угрозы и вероятность галлюцинации ответа
  • Проверять идентичность и авторизовать действие агента
  • Записывать происхождение данных и верифицировать контракт
  • Генерировать проверяемую квантовую случайность
  • Проверять MCP-плагины на встроенные риски

Какие данные видит

Ассистент вызывает отдельные проверочные API без хранения долгосрочных данных пользователя, оплата — за каждый вызов в USDC.

Нужен ли аккаунт

Не нужен: сервер работает без входа

aaaa-nexus — MCP-сервер с более чем 75 эндпоинтами для проверки безопасности действий ИИ-агентов: от квантовой случайности и оценки угроз до проверки идентичности и авторизации транзакций. Оплата идёт за вызов через протокол x402 в USDC, регистрация не требуется. Подходит агентам, которым нужна формальная проверка перед выполнением действия.

Как подключить

Как подключить aaaa-nexus — Formally Verified AI Safety APIs к Claude

Адрес сервера, который нужно вставить в настройках Claude:

https://aaaa-nexus.atomadictech.workers.dev/mcp

  1. Откройте Claude (сайт claude.ai или приложение для компьютера).
  2. Перейдите в Настройки → Коннекторы (в английском интерфейсе: Settings → Connectors).
  3. Нажмите Добавить пользовательский коннектор (Add custom connector).
  4. Вставьте адрес сервера, скопированный ниже, в поле URL удалённого MCP-сервера и нажмите Добавить.
  5. В чате нажмите + → Коннекторы и включите новый коннектор.

Пользовательские коннекторы доступны на тарифах Free, Pro, Max, Team и Enterprise. На Free можно добавить только один. В Team и Enterprise коннектор сначала добавляет владелец организации в Настройки организации → Коннекторы.

Авторизация

После нажатия Добавить откроется окно входа в сервис. Войдите под своим аккаунтом и подтвердите доступ. Пароль Claude не видит.

Как подключить aaaa-nexus — Formally Verified AI Safety APIs к ChatGPT

Адрес сервера, который нужно вставить в настройках ChatGPT:

https://aaaa-nexus.atomadictech.workers.dev/mcp

  1. Откройте ChatGPT в браузере (chatgpt.com). Нужен тариф Plus, Pro, Business, Enterprise или Edu.
  2. Один раз включите режим разработчика: Настройки → Приложения → Дополнительные настройки → Режим разработчика (Settings → Apps → Advanced settings → Developer mode).
  3. Откройте Настройки → Коннекторы и нажмите Создать (Create).
  4. Заполните форму: Название (любое), Описание (одна фраза, что делает сервис), URL MCP-сервера (скопируйте ниже).
  5. В поле Аутентификация выберите OAuth, если сервис требует вход, иначе Нет. Нажмите Создать.
  6. В новом чате откройте + → Приложения/Коннекторы и включите коннектор.

Название раздела у OpenAI менялось (Connectors → Apps/Plugins). Если пункт называется иначе, ищите «режим разработчика» в настройках. В рабочих пространствах Business/Enterprise администратор должен разрешить пользовательские коннекторы.

Авторизация

При первом использовании ChatGPT откроет окно входа в сервис. Войдите и подтвердите доступ.

Как подключить aaaa-nexus — Formally Verified AI Safety APIs к Cursor

Адрес сервера, который нужно вставить в настройках Cursor:

https://aaaa-nexus.atomadictech.workers.dev/mcp

Быстрый способ: нажмите кнопку Открыть в Cursor ниже, Cursor сам предложит добавить сервер.

Вручную:

  1. В Cursor откройте Settings → Cursor Settings → MCP и нажмите Add new global MCP server.
  2. Вставьте JSON, скопированный ниже, в открывшийся файл ~/.cursor/mcp.json (для одного проекта: .cursor/mcp.json в корне проекта).
  3. Сохраните файл. Сервер появится в списке MCP; при необходимости пройдите авторизацию по кнопке рядом с ним.

Авторизация

Если сервис требует вход, рядом с сервером в списке MCP появится кнопка авторизации.

Список инструментов сервера (44)

Технические названия из tools/list. Нужны только разработчикам.

rng_quantumQuantum-seeded random bytes with HMAC-SHA256 entropy proof
threat_scoreScore a JSON payload for security threats using triality consensus
hallucination_oracleGet the LLM hallucination threshold constant
identity_verifyTopological identity verification
ratchet_registerRegister a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)
authorize_actionPre-action authorization gateway — deterministic tool-call gating with cryptographic tokens
spending_authorizeSpending governance — validate agent chain spending within trust-decay bounds
lineage_recordDecision lineage vault — structured decision trace capture with tamper-proof hash chain
contract_verifyBehavioral contract verifier — verify agent policy claims against formal bounds
federation_mintAgent identity federation — mint cross-platform portable identity tokens
aegis_mcp_proxy_executeNEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
aegis_router_epistemic_boundNEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations
vanguard_continuous_redteamNEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.
vanguard_mev_route_intentNEXUS VANGUARD MEV route intent protection and shield bundle orchestration.
vanguard_wallet_govern_sessionNEXUS VANGUARD UCAN governance session issuance for structured wallet approval.
vanguard_escrow_lock_and_verifyNEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.
uep_preflightUEP phase-0 preflight gate — bounded task summary and friction estimate before execution.
uep_contextUEP context pack synthesis — merge recon snippets into a single agent-facing context object.
uep_synthesis_guardUEP synthesis guard — block ungrounded expansions when evidence links are missing.
uep_autopoiesis_planUEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.
uep_trace_certifyUEP trace certification — sign a decision trace checksum for audit vault handoff.
uep_aha_detectUEP AHA moment detector — novelty spike scoring for epiphany-style gates.
sys_constantsSys constants snapshot — public tier counts, trust floor, and block dimension anchors.
rag_augmentTrusted RAG augment — retrieve-and-quote augmentation with provenance hashes.
text_summarizeExtractive text summarizer for bounded passages (JSON in, summary out).
sys_trust_gateSys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.
sys_lint_gateSys lint gate — structural policy lint over JSON agent plans.
intent_classifyKeyword intent classifier for agent utterances — query/command/report/alert lanes.
agents_planRule-based goal decomposition into 3–5 deterministic execution steps.
keys_validateValidate X-API-Key entitlement tier (paid/extended/master) before gated tool calls.
entitlement_attestAttest Ed25519-style entitlement token structure + signature for sovereign emit access.
omega_intent_routeRank sovereign intent lanes (recon/emit/heal/govern/hive/synthesis) — deterministic router.
omega_emit_materializeMaterialize deterministic contract sketch from intent — logic upstream of language.
omega_emit_polyglotLanguage-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.
omega_intent_nlStructured intent → agent-facing NL sketch (training signal, not human blueprint).
forge_reconPolyglot repo recon — language/tier/source breakdown for monadic architectures.
forge_certifyPolyglot 4-axis certify (docs/tests/layout/wire) with scored verdict.
forge_wireRepo-wide upward-import wire scan — polyglot tier discipline check.
forge_tier_inferInfer monadic tier placement for a file path from polyglot heuristics.
forge_auditCompound Forge audit — recon + certify + wire in one deterministic pass.
docs_generateDeterministic documentation enrichment targets from local path analysis.
lint_analyzeSynthesize lint findings from supplied local analysis artifacts.
certify_codebaseCountersign local Forge certificate with storefront attestation lane.
certify_outputOutput certification notary — tamper-evident seal on agent deliverables.