Servers Playground How we check Submit a server

aaaa-nexus — Formally Verified AI Safety APIs

Working · 1.3 s

io.github.atomadictech/aaaa-nexusv0.4.0

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

Security AI & Agents

Source Website Registry entry

Try it

Call this server's tools from your browser. Nothing to install.

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

Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.

Tool list from our last check. Connect live to refresh it.

aegis_mcp_proxy_execute

NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution

bodyobject

For POST tools: JSON body per the matching path in /openapi.json.

This tool isn't marked read-only, so it may change something on the server or in an account you connected.

I understand, run it anyway

aaaa-nexus — Formally Verified AI Safety APIs MCP server | mcptry

Tools (44)

aegis_mcp_proxy_execute

NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

aegis_router_epistemic_bound

NEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

agents_plan

Rule-based goal decomposition into 3–5 deterministic execution steps.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

authorize_action

Pre-action authorization gateway — deterministic tool-call gating with cryptographic tokens

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

certify_codebase

Countersign local Forge certificate with storefront attestation lane.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

certify_output

Output certification notary — tamper-evident seal on agent deliverables.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

contract_verify

Behavioral contract verifier — verify agent policy claims against formal bounds

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

docs_generate

Deterministic documentation enrichment targets from local path analysis.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

entitlement_attest

Attest Ed25519-style entitlement token structure + signature for sovereign emit access.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

federation_mint

Agent identity federation — mint cross-platform portable identity tokens

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

forge_audit

Compound Forge audit — recon + certify + wire in one deterministic pass.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

forge_certify

Polyglot 4-axis certify (docs/tests/layout/wire) with scored verdict.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

forge_recon

Polyglot repo recon — language/tier/source breakdown for monadic architectures.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

forge_tier_infer

Infer monadic tier placement for a file path from polyglot heuristics.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

forge_wire

Repo-wide upward-import wire scan — polyglot tier discipline check.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

hallucination_oracle

Get the LLM hallucination threshold constant

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

identity_verify

Topological identity verification

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

intent_classify

Keyword intent classifier for agent utterances — query/command/report/alert lanes.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

keys_validate

Validate X-API-Key entitlement tier (paid/extended/master) before gated tool calls.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

lineage_record

Decision lineage vault — structured decision trace capture with tamper-proof hash chain

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

lint_analyze

Synthesize lint findings from supplied local analysis artifacts.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

omega_emit_materialize

Materialize deterministic contract sketch from intent — logic upstream of language.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

omega_emit_polyglot

Language-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

omega_intent_nl

Structured intent → agent-facing NL sketch (training signal, not human blueprint).

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

omega_intent_route

Rank sovereign intent lanes (recon/emit/heal/govern/hive/synthesis) — deterministic router.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

rag_augment

Trusted RAG augment — retrieve-and-quote augmentation with provenance hashes.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

ratchet_register

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

rng_quantum

Quantum-seeded random bytes with HMAC-SHA256 entropy proof

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

spending_authorize

Spending governance — validate agent chain spending within trust-decay bounds

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

sys_constants

Sys constants snapshot — public tier counts, trust floor, and block dimension anchors.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

sys_lint_gate

Sys lint gate — structural policy lint over JSON agent plans.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

sys_trust_gate

Sys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

text_summarize

Extractive text summarizer for bounded passages (JSON in, summary out).

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

threat_score

Score a JSON payload for security threats using triality consensus

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

uep_aha_detect

UEP AHA moment detector — novelty spike scoring for epiphany-style gates.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

uep_autopoiesis_plan

UEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

uep_context

UEP context pack synthesis — merge recon snippets into a single agent-facing context object.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

uep_preflight

UEP phase-0 preflight gate — bounded task summary and friction estimate before execution.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

uep_synthesis_guard

UEP synthesis guard — block ungrounded expansions when evidence links are missing.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

uep_trace_certify

UEP trace certification — sign a decision trace checksum for audit vault handoff.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

vanguard_continuous_redteam

NEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

vanguard_escrow_lock_and_verify

NEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

vanguard_mev_route_intent

NEXUS VANGUARD MEV route intent protection and shield bundle orchestration.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}

vanguard_wallet_govern_session

NEXUS VANGUARD UCAN governance session issuance for structured wallet approval.

Argument	Type	Description
body	object	For POST tools: JSON body per the matching path in /openapi.json.

Input schema (JSON)

{
  "type": "object",
  "properties": {
    "body": {
      "type": "object",
      "description": "For POST tools: JSON body per the matching path in /openapi.json."
    }
  }
}