aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs.
Community: Submitted by a user or imported; check the owner before granting accessOnlineNo sign-inGlobalFreeRead-only
What it can do
What data it sees
Do you need an account
No: the server works without sign-in
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
How to connect
How to connect aaaa-nexus — Formally Verified AI Safety APIs to Claude
The server address to paste into Claude settings:
https://aaaa-nexus.atomadictech.workers.dev/mcp
- Open Claude (claude.ai or the desktop app).
- Go to Settings → Connectors.
- Click Add custom connector.
- Paste the server address copied below into Remote MCP server URL and click Add.
- In a chat, click + → Connectors and switch the new connector on.
Custom connectors are available on Free, Pro, Max, Team and Enterprise plans (Free is limited to one). On Team and Enterprise an organization Owner adds the connector first under Organization settings → Connectors.
Authorization
After you click Add, a sign-in window for the service opens. Sign in with your own account and approve access. Claude never sees your password.
How to connect aaaa-nexus — Formally Verified AI Safety APIs to ChatGPT
The server address to paste into ChatGPT settings:
https://aaaa-nexus.atomadictech.workers.dev/mcp
- Open ChatGPT in a browser (chatgpt.com). A Plus, Pro, Business, Enterprise or Edu plan is required.
- Turn on developer mode once: Settings → Apps → Advanced settings → Developer mode.
- Open Settings → Connectors and click Create.
- Fill in the form: Name (anything), Description (one line about what the service does), MCP server URL (copy it below).
- Under Authentication choose OAuth if the service requires sign-in, otherwise None. Click Create.
- In a new chat open + → Apps/Connectors and enable the connector.
OpenAI has renamed this section before (Connectors → Apps/Plugins). If the label differs, search settings for "developer mode". On Business/Enterprise workspaces an admin must allow custom connectors first.
Authorization
On first use ChatGPT opens the service's sign-in window. Sign in and approve access.
How to connect aaaa-nexus — Formally Verified AI Safety APIs to Cursor
The server address to paste into Cursor settings:
https://aaaa-nexus.atomadictech.workers.dev/mcp
Fastest: click Open in Cursor below and confirm the prompt.
Manually:
- In Cursor open Settings → Cursor Settings → MCP and click Add new global MCP server.
- Paste the JSON copied below into
~/.cursor/mcp.json(per project:.cursor/mcp.jsonin the repo root). - Save the file. The server appears in the MCP list; authorize it there if asked.
Authorization
If the service needs sign-in, an authorize button appears next to the server in the MCP list.
Server tool list (44)
Raw names from tools/list. Only developers need these.
| 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. |