aaaa-nexus — Formally Verified AI Safety APIs MCP Server

io.github.atomadictech/aaaa-nexus

answering

aaaa-nexus — Formally Verified AI Safety APIs is answering right now. Last checked 16 min ago. It exposes 44 tools.

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

The linked repository no longer exists on GitHub — it was deleted or made private.

Uptime history 42 hours of history

42 hours agonow

100.0%

Uptime 24h

91 of 91 checks

Tools

read from the server

116 ms

Response time

average over 24h

open, no key

Access

streamable-http

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 16 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

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

~/Library/Application Support/Claude/claude_desktop_config.json

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

~/.codex/config.toml

[mcp_servers.aaaa-nexus]
url = "https://aaaa-nexus.atomadictech.workers.dev/mcp"

.cursor/mcp.json

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

.vscode/mcp.json

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

Available tools 44

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

uep

uep_aha_detect

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

uep_autopoiesis_plan

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

uep_context

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

uep_preflight

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

uep_synthesis_guard

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

uep_trace_certify

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

forge

forge_audit

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

forge_certify

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

forge_recon

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

forge_tier_infer

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

forge_wire

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

omega

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).

omega_intent_route

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

vanguard

vanguard_continuous_redteam

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

vanguard_escrow_lock_and_verify

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

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.

sys

sys_constants

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

sys_lint_gate

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

sys_trust_gate

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

aegis

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

certify

certify_codebase

Countersign local Forge certificate with storefront attestation lane.

certify_output

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

agents

agents_plan

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

authorize

authorize_action

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

contract

contract_verify

Behavioral contract verifier — verify agent policy claims against formal bounds

docs

docs_generate

Deterministic documentation enrichment targets from local path analysis.

entitlement

entitlement_attest

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

federation

federation_mint

Agent identity federation — mint cross-platform portable identity tokens

hallucination

hallucination_oracle

Get the LLM hallucination threshold constant

identity

identity_verify

Topological identity verification

intent

intent_classify

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

keys

keys_validate

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

lineage

lineage_record

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

lint

lint_analyze

Synthesize lint findings from supplied local analysis artifacts.

rag

rag_augment

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

ratchet

ratchet_register

rng

rng_quantum

Quantum-seeded random bytes with HMAC-SHA256 entropy proof

spending

spending_authorize

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

text

text_summarize

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

threat

threat_score

Score a JSON payload for security threats using triality consensus

Endpoints

URL	Transport	State	Latency	Checked
https://aaaa-nexus.atomadictech.workers.dev/mcp	streamable-http	answering	163 ms	16 min ago

aaaa-nexus — Formally Verified AI Safety APIs — questions

Answers built from our own checks of this server.

What can aaaa-nexus — Formally Verified AI Safety APIs do?

It exposes 44 tools, read directly from the server on our last check. Among them: aegis_mcp_proxy_execute, aegis_router_epistemic_bound, agents_plan, authorize_action, certify_codebase, certify_output and 38 more. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →

What is aaaa-nexus — Formally Verified AI Safety APIs mostly used for?

Its tools cluster around uep, forge and vanguard. That is what this server is built to work with — the grouping comes from the actual tool names, not from a category we assigned.

Is aaaa-nexus — Formally Verified AI Safety APIs working right now?

We send a real MCP handshake every 15 minutes. Over the last 24 hours 91 of 91 checks got a reply (100.0%), average response time 116 ms. The bar chart above shows every period we have measured.

Is aaaa-nexus — Formally Verified AI Safety APIs still maintained?

The linked repository no longer exists on GitHub — it was deleted or made private. We show this because it changes what you can expect: an unmaintained server may keep answering for months and then stop without warning.

How do I connect aaaa-nexus — Formally Verified AI Safety APIs?

Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.

Does aaaa-nexus — Formally Verified AI Safety APIs need an API key?

No. aaaa-nexus — Formally Verified AI Safety APIs completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 44 of them are readable on this page. This is what we observed, not what the docs claim.

How fast is aaaa-nexus — Formally Verified AI Safety APIs?

It answers our handshake in 116 ms on average, which is faster than 80% of all working MCP servers we measure. That puts it in the quick quarter of the ecosystem. The comparison comes from our own checks across the whole registry, every 15 minutes.