aaaa-nexus — Formally Verified AI Safety APIs

Last 30 days

Uptime

100%

Response time

250 ms typical, 250 ms slowest 5%

Last check

6 h ago

Next check

any minute now

How to call it

Add it to any MCP client that supports remote servers.

{
  "mcpServers": {
    "aaaa-nexus-formally-verified-ai-safety-apis": {
      "type": "http",
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}

44 tools

• rng_quantum

  Quantum-seeded random bytes with HMAC-SHA256 entropy proof

• threat_score

  Score a JSON payload for security threats using triality consensus

• hallucination_oracle

  Get the LLM hallucination threshold constant

• identity_verify

  Topological identity verification

• ratchet_register

  Register a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)

• authorize_action

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

• spending_authorize

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

• lineage_record

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

• contract_verify

  Behavioral contract verifier — verify agent policy claims against formal bounds

• federation_mint

  Agent identity federation — mint cross-platform portable identity tokens

• aegis_mcp_proxy_execute

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

• aegis_router_epistemic_bound

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

• vanguard_continuous_redteam

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

• vanguard_mev_route_intent

  NEXUS VANGUARD MEV route intent protection and shield bundle orchestration.

• vanguard_wallet_govern_session

  NEXUS VANGUARD UCAN governance session issuance for structured wallet approval.

• vanguard_escrow_lock_and_verify

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

• uep_preflight

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

• uep_context

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

• uep_synthesis_guard

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

• uep_autopoiesis_plan

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

• uep_trace_certify

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

• uep_aha_detect

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

• sys_constants

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

• rag_augment

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

• text_summarize

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

• sys_trust_gate

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

• sys_lint_gate

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

• intent_classify

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

• agents_plan

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

• keys_validate

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

• entitlement_attest

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

• omega_intent_route

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

• omega_emit_materialize

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

• omega_emit_polyglot

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

• omega_intent_nl

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

• forge_recon

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

• forge_certify

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

• forge_wire

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

• forge_tier_infer

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

• forge_audit

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

Security scan

• No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.

Recent checks