mcp server

aaaa-nexus — Formally Verified AI Safety APIs

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

Description as published by the maintainer. Source

• version 0.4.0
• archived

archived — The linked repository returns 404. It was deleted, renamed or made private.

What this server can do

44 functions, named and described by the server itself. Parameter names are shown because they say more about what a function does than its name usually does.

aegis_mcp_proxy_execute(body)

NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution

aegis_router_epistemic_bound(body)

NEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations

agents_plan(body)

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

authorize_action(body)

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

certify_codebase(body)

Countersign local Forge certificate with storefront attestation lane.

certify_output(body)

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

contract_verify(body)

Behavioral contract verifier — verify agent policy claims against formal bounds

docs_generate(body)

Deterministic documentation enrichment targets from local path analysis.

entitlement_attest(body)

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

federation_mint(body)

Agent identity federation — mint cross-platform portable identity tokens

forge_audit(body)

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

forge_certify(body)

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

forge_recon(body)

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

forge_tier_infer(body)

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

forge_wire(body)

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

hallucination_oracle(body)

Get the LLM hallucination threshold constant

identity_verify(body)

Topological identity verification

intent_classify(body)

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

keys_validate(body)

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

lineage_record(body)

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

lint_analyze(body)

Synthesize lint findings from supplied local analysis artifacts.

omega_emit_materialize(body)

Materialize deterministic contract sketch from intent — logic upstream of language.

omega_emit_polyglot(body)

Language-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.

omega_intent_nl(body)

Structured intent → agent-facing NL sketch (training signal, not human blueprint).

omega_intent_route(body)

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

rag_augment(body)

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

ratchet_register(body)

Register a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)

rng_quantum(body)

Quantum-seeded random bytes with HMAC-SHA256 entropy proof

spending_authorize(body)

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

sys_constants(body)

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

sys_lint_gate(body)

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

sys_trust_gate(body)

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

text_summarize(body)

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

threat_score(body)

Score a JSON payload for security threats using triality consensus

uep_aha_detect(body)

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

uep_autopoiesis_plan(body)

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

uep_context(body)

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

uep_preflight(body)

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

uep_synthesis_guard(body)

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

uep_trace_certify(body)

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

vanguard_continuous_redteam(body)

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

vanguard_escrow_lock_and_verify(body)

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

vanguard_mev_route_intent(body)

NEXUS VANGUARD MEV route intent protection and shield bundle orchestration.

vanguard_wallet_govern_session(body)

NEXUS VANGUARD UCAN governance session issuance for structured wallet approval.

Last successful function declaration observed on 2026-08-13. Source: https://aaaa-nexus.atomadictech.workers.dev/mcp. We list what the server declared; we do not call any of these functions.

Endpoint status observed on 2026-08-13. Source: https://aaaa-nexus.atomadictech.workers.dev/mcp.

Signals

These are separate measurements of different things. They are deliberately not combined into one score, because a popularity number that mixes website traffic with saves and stars cannot be checked or acted on.

Where to get it

• Repository — https://github.com/atomadictech/aaaa-nexus
• Website — https://aaaa-nexus.atomadictech.workers.dev
• Remote endpoint (streamable-http) — https://aaaa-nexus.atomadictech.workers.dev/mcp

Also from atomadictech

• Atomadic Forge — repository gone
  Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.