aaaa-nexus — Formally Verified AI Safety APIs
REMOTE · AAAA-NEXUS.ATOMADICTECH.WORKERS.DEV · SCANNED SEP 20
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Available components
How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. How we score → Why this is hard to score →
Endpoint Security46
- The endpoint's TLS certificate is valid, in date, and uses a strong key. View diagnostics → Pass
- Authorisation not fully verified: no authorisation is required to call this server, and 44 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe. See how to fix → View diagnostics → Unverified
- HTTPS enforcement could not be verified: the plaintext port answered with HTTP 405, which proves neither a plaintext path nor enforcement. View diagnostics → Unverified
- HSTS check failed: the Strict-Transport-Security header is absent. See how to fix → View diagnostics → Fail
- DNSSEC check failed: this domain isn't protected by DNSSEC. See how to fix → View diagnostics → Fail
Transport & Reachability100
- Verified streamable-http transport via a live MCP handshake. View diagnostics → Pass
Schema Quality & AI Usability52
- AI-judged instruction clarity (fair).Partial
- Tool/resource definitions use about 2125 tokens (~48/item across 44 items; 44 tools + 0 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management100
- No destabilizing schema changes in the last 30 days.Pass
Tool Coverage100
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 100% of tool parameters carry a description.Pass
Tool Safety75
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- 0 of 1 tool(s) whose name or description implies an irreversible operation declare an MCP destructiveHint annotation; "aegis_mcp_proxy_execute" implies "execute" and declares no destructiveHint at all, which the MCP spec reads as destructive by default. See how to fix → Fail
- An AI judge read all 45 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
- Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
How do I install the aaaa-nexus — Formally Verified AI Safety APIs MCP server?
aaaa-nexus — Formally Verified AI Safety APIs is a hosted endpoint at https://aaaa-nexus.atomadictech.workers.dev/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
remote · aaaa-nexus.atomadictech.workers.dev
claude mcp add --transport http atomadictech-aaaa-nexus 'https://aaaa-nexus.atomadictech.workers.dev/mcp'
{
"mcpServers": {
"atomadictech-aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
} {
"servers": {
"atomadictech-aaaa-nexus": {
"type": "http",
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
} [mcp_servers.atomadictech-aaaa-nexus] url = "https://aaaa-nexus.atomadictech.workers.dev/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"atomadictech-aaaa-nexus": {
"type": "remote",
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp",
"enabled": true
}
}
} openclaw mcp add atomadictech-aaaa-nexus --url 'https://aaaa-nexus.atomadictech.workers.dev/mcp' --transport streamable-http
mcp_servers:
atomadictech-aaaa-nexus:
url: "https://aaaa-nexus.atomadictech.workers.dev/mcp" {
"McpServers": {
"atomadictech-aaaa-nexus": {
"Transport": "http",
"Url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
} assistant mcp add atomadictech-aaaa-nexus -t streamable-http -u 'https://aaaa-nexus.atomadictech.workers.dev/mcp'
{
"mcpServers": {
"atomadictech-aaaa-nexus": {
"type": "http",
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
} The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 20 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 19 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 18 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 17 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 16 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 15 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 14 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
- 13 Sept 26 0
- This server's schema is too large to store in full, so we cannot compare its tools day to day functional
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 20 Sept 2026 · Probed https://aaaa-nexus.atomadictech.workers.dev/mcp
TLS valid
Negotiated TLS 1.3 with TLS_AES_128_GCM_SHA256 .
| Subject | Issuer | Valid from | Valid until | Key | Signature | Serial |
|---|---|---|---|---|---|---|
| CN=atomadictech.workers.dev | CN=YE1,O=Let's Encrypt,C=US | 13 Sept 2026 | 12 Dec 2026 | ECDSA 256 | ECDSA-SHA384 | 56adda9dbe26cb027adefcb13e8a42f22fb |
| SANs: *.atomadictech.workers.dev, atomadictech.workers.dev | ||||||
| CN=YE1,O=Let's Encrypt,C=US (CA) | CN=Root YE,O=ISRG,C=US | 3 Sept 2025 | 2 Sept 2028 | ECDSA 384 | ECDSA-SHA384 | 5ddd70dd31f801c85c186a7a04b80afe |
| CN=Root YE,O=ISRG,C=US (CA) | CN=ISRG Root X2,O=Internet Security Research Group,C=US | 13 May 2026 | 2 Sept 2032 | ECDSA 384 | ECDSA-SHA384 | 872165fc34b6e5fba8add5b3705fb53a |
| CN=ISRG Root X2,O=Internet Security Research Group,C=US (CA) | CN=ISRG Root X1,O=Internet Security Research Group,C=US | 13 May 2026 | 2 Sept 2032 | ECDSA 384 | SHA256-RSA | 6c8f1dc727c7117f7baf853ac980f9cd |
Background: What to check on a remote MCP endpoint →
DNSSEC insecure
Validation of aaaa-nexus.atomadictech.workers.dev. — Not signed
| Zone | DS | Keys | Algorithms | Outcome |
|---|---|---|---|---|
| . | trust_anchor | 20326, 38696 | 8, 8 | Verified |
| dev. | present | 60074 | 8 | Verified |
| workers.dev. | absent | Unsigned (proven) parent-signed NSEC/NSEC3 proves an unsigned delegation |
Authentication No authorisation required
The endpoint answered without asking for a token. Anyone who knows the URL can reach it.
| Result | No authorisation required |
|---|---|
| HTTP status | 200 |
Background: How OAuth 2.1 works in the 2026 MCP spec →
Transports 2 probes
| Transport | URL | Outcome | Status | Location |
|---|---|---|---|---|
| streamable-http | https://aaaa-nexus.atomadictech.workers.dev/mcp | Verified | 200 | |
| http (plaintext) | http://aaaa-nexus.atomadictech.workers.dev/mcp | Inconclusive | 405 |
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
aegis_mcp_proxy_execute ~52
NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
aegis_router_epistemic_bound ~53
NEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
agents_plan ~43
Rule-based goal decomposition into 3–5 deterministic execution steps.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
authorize_action ~44
Pre-action authorization gateway — deterministic tool-call gating with cryptographic tokens
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
certify_codebase ~43
Countersign local Forge certificate with storefront attestation lane.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
certify_output ~46
Output certification notary — tamper-evident seal on agent deliverables.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
contract_verify ~42
Behavioral contract verifier — verify agent policy claims against formal bounds
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
docs_generate ~41
Deterministic documentation enrichment targets from local path analysis.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
entitlement_attest ~47
Attest Ed25519-style entitlement token structure + signature for sovereign emit access.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
federation_mint ~42
Agent identity federation — mint cross-platform portable identity tokens
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
forge_audit ~45
Compound Forge audit — recon + certify + wire in one deterministic pass.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
forge_certify ~49
Polyglot 4-axis certify (docs/tests/layout/wire) with scored verdict.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
forge_recon ~47
Polyglot repo recon — language/tier/source breakdown for monadic architectures.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
forge_tier_infer ~49
Infer monadic tier placement for a file path from polyglot heuristics.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
forge_wire ~44
Repo-wide upward-import wire scan — polyglot tier discipline check.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
hallucination_oracle ~41
Get the LLM hallucination threshold constant
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
identity_verify ~35
Topological identity verification
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
intent_classify ~47
Keyword intent classifier for agent utterances — query/command/report/alert lanes.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
keys_validate ~48
Validate X-API-Key entitlement tier (paid/extended/master) before gated tool calls.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
lineage_record ~45
Decision lineage vault — structured decision trace capture with tamper-proof hash chain
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
lint_analyze ~41
Synthesize lint findings from supplied local analysis artifacts.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
omega_emit_materialize ~45
Materialize deterministic contract sketch from intent — logic upstream of language.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
omega_emit_polyglot ~54
Language-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
omega_intent_nl ~48
Structured intent → agent-facing NL sketch (training signal, not human blueprint).
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
omega_intent_route ~54
Rank sovereign intent lanes (recon/emit/heal/govern/hive/synthesis) — deterministic router.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
rag_augment ~45
Trusted RAG augment — retrieve-and-quote augmentation with provenance hashes.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
ratchet_register ~55
Register a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
rng_quantum ~45
Quantum-seeded random bytes with HMAC-SHA256 entropy proof
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
spending_authorize ~44
Spending governance — validate agent chain spending within trust-decay bounds
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
sys_constants ~46
Sys constants snapshot — public tier counts, trust floor, and block dimension anchors.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
sys_lint_gate ~44
Sys lint gate — structural policy lint over JSON agent plans.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
sys_trust_gate ~49
Sys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
text_summarize ~47
Extractive text summarizer for bounded passages (JSON in, summary out).
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
threat_score ~42
Score a JSON payload for security threats using triality consensus
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
uep_aha_detect ~50
UEP AHA moment detector — novelty spike scoring for epiphany-style gates.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
uep_autopoiesis_plan ~53
UEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
uep_context ~48
UEP context pack synthesis — merge recon snippets into a single agent-facing context object.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
uep_preflight ~50
UEP phase-0 preflight gate — bounded task summary and friction estimate before execution.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
uep_synthesis_guard ~49
UEP synthesis guard — block ungrounded expansions when evidence links are missing.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
uep_trace_certify ~49
UEP trace certification — sign a decision trace checksum for audit vault handoff.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
vanguard_continuous_redteam ~53
NEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
vanguard_escrow_lock_and_verify ~55
NEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
vanguard_mev_route_intent ~53
NEXUS VANGUARD MEV route intent protection and shield bundle orchestration.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
vanguard_wallet_govern_session ~51
NEXUS VANGUARD UCAN governance session issuance for structured wallet approval.
| Name | Type | Req | Description |
|---|---|---|---|
| body | object | – | For POST tools: JSON body per the matching path in /openapi.json. |
No output schema declared.
No examples provided.
What is the aaaa-nexus — Formally Verified AI Safety APIs MCP server?
aaaa-nexus — Formally Verified AI Safety APIs is an MCP server listed in the public MCP registry as io.github.atomadictech/aaaa-nexus. Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. This page covers its hosted endpoint (https://aaaa-nexus.atomadictech.workers.dev/mcp).
Is the aaaa-nexus — Formally Verified AI Safety APIs MCP server safe to use?
aaaa-nexus — Formally Verified AI Safety APIs scores 68 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the aaaa-nexus — Formally Verified AI Safety APIs MCP server expose?
aaaa-nexus — Formally Verified AI Safety APIs exposes 44 tools: rng_quantum, threat_score, hallucination_oracle, identity_verify, ratchet_register, and 39 more. Their descriptions and schemas cost roughly 2,073 tokens of context every time the server is loaded.
Does the aaaa-nexus — Formally Verified AI Safety APIs MCP server require authentication?
No. We connected to aaaa-nexus — Formally Verified AI Safety APIs without credentials and it answered, so anything it exposes is reachable by anyone who knows the address.
Is the aaaa-nexus — Formally Verified AI Safety APIs MCP server still maintained?
aaaa-nexus — Formally Verified AI Safety APIs is still listed as active in the MCP registry. We last reached this channel on 20 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.