aaaa-nexus — Formally Verified AI Safety APIs

Name: aaaa-nexus — Formally Verified AI Safety APIs
Author: atomadictech

MCP serverMCP

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

by atomadictechrepository ↗homepage ↗v0.4.0

Is this yours?

This record is unclaimed

Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.

Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"aaaa-nexus-formally-verified-ai-safety-apis","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.

Claim this record

Observed by Wellknown

Evidence

Everything here was measured by our prober or read from a registry. Nothing is self-reported.

30-day availability4/4 checks ok

30 days agotoday

Endpoints

https://aaaa-nexus.atomadictech.workers.dev/mcpmcp streamable http · checked on a schedule

Registry facts

Not distributed through a package registry we index.

when	check	result	http	latency	detail
6 h ago	mcp initialize	ok	200	107 ms	server aaaa-nexus 0.5.1 · protocol 2025-11-25 · 44 tools
14 h ago	mcp initialize	ok	200	35 ms	server aaaa-nexus 0.5.1 · protocol 2025-11-25 · 44 tools
21 h ago	mcp initialize	ok	200	25 ms	server aaaa-nexus 0.5.1 · protocol 2025-11-25 · 44 tools
27 h ago	mcp initialize	ok	200	13 ms	server aaaa-nexus 0.5.1 · protocol 2025-11-25 · 44 tools
34 h ago	mcp initialize	ok	200	35 ms	server aaaa-nexus 0.5.1 · protocol 2025-11-25 · 44 tools
2 d ago	mcp initialize	ok	200	71 ms	server aaaa-nexus 0.5.1 · protocol 2025-11-25 · 44 tools

Tools observed via MCP handshake

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.

Declared by sources

What the publisher says

Attributed to the source that supplied each field. Treated as claims, not facts.

No long description beyond the summary.

kind ← Official MCP Registry

name ← Official MCP Registry

repoUrl ← Official MCP Registry

summary ← Official MCP Registry

version ← Official MCP Registry

description ← Official MCP Registry

homepageUrl ← Official MCP Registry

publisherName ← Official MCP Registry

Provenance

Where this record came from

Every source is kept verbatim. Field changes are logged as events.

Official MCP Registryio.github.atomadictech/aaaa-nexus

first seen 2 d ago · fetched 2 d agoopen ↗

Field history (7 recent events)

2 d ago · declared · summary → "Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup."
2 d ago · declared · description → "Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup."
2 d ago · declared · publisherName → "atomadictech"
2 d ago · declared · homepageUrl → "https://aaaa-nexus.atomadictech.workers.dev"
2 d ago · declared · repoUrl → "https://github.com/atomadictech/aaaa-nexus"
2 d ago · declared · version → "0.4.0"
2 d ago · declared · protocols → ["mcp"]

This record is unclaimed

Evidence

What the publisher says

Capabilities

Where this record came from