aaaa-nexus — Formally Verified AI Safety APIs MCP Tools

• rng_quantum

  rng quantum

• threat_score

  threat score

• hallucination_oracle

  hallucination oracle

• identity_verify

  identity verify

• ratchet_register

  ratchet register

• authorize_action

  authorize action

• spending_authorize

  spending authorize

• lineage_record

  lineage record

• contract_verify

  contract verify

• federation_mint

  federation mint

• aegis_mcp_proxy_execute

  aegis mcp proxy execute

• aegis_router_epistemic_bound

  aegis router epistemic bound

• vanguard_continuous_redteam

  vanguard continuous redteam

• vanguard_mev_route_intent

  vanguard mev route intent

• vanguard_wallet_govern_session

  vanguard wallet govern session

• vanguard_escrow_lock_and_verify

  vanguard escrow lock and verify

• uep_preflight

  uep preflight

• uep_context

  uep context

• uep_synthesis_guard

  uep synthesis guard

• uep_autopoiesis_plan

  uep autopoiesis plan

• uep_trace_certify

  uep trace certify

• uep_aha_detect

  uep aha detect

• sys_constants

  sys constants

• rag_augment

  rag augment

• text_summarize

  text summarize

• sys_trust_gate

  sys trust gate

• sys_lint_gate

  sys lint gate

• intent_classify

  intent classify

• agents_plan

  agents plan

• keys_validate

  keys validate

• entitlement_attest

  entitlement attest

• omega_intent_route

  omega intent route

• omega_emit_materialize

  omega emit materialize

• omega_emit_polyglot

  omega emit polyglot

• omega_intent_nl

  omega intent nl

• forge_recon

  forge recon

• forge_certify

  forge certify

• forge_wire

  forge wire

• forge_tier_infer

  forge tier infer

• forge_audit

  forge audit

• docs_generate

  docs generate

• lint_analyze

  lint analyze

• certify_codebase

  certify codebase

• certify_output

  certify output

This list was read from the server itself, by connecting to it and calling tools/list on 24 September 2026. It is what the server actually exposes, not what its listing claims.

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.