All servers · Code & repositories · Agent payments (x402) · Security

aaaa-nexus — Formally Verified AI Safety APIs

io.github.atomadictech/aaaa-nexus · v0.4.0

Measured by MCP Station

Description written by the publisher, not verified

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

Connect

claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcp

{
  "mcpServers": {
    "aaaa-nexus": {
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}

Tools as reported by the server

• 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.
• docs_generate
  Deterministic documentation enrichment targets from local path analysis.
• lint_analyze
  Synthesize lint findings from supplied local analysis artifacts.
• certify_codebase
  Countersign local Forge certificate with storefront attestation lane.
• certify_output
  Output certification notary — tamper-evident seal on agent deliverables.

Repository · Website · JSON · Text for agents · Registry updated 2026-04-07