Aaaa Nexus — Formally Verified AI Safety APIs
- atomadictech/aaaa-nexus
Formally verified AI safety APIs.
About
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. Exposes 27 MCP tools including io.github.atomadictech/aaaa-nexus. Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. "name": "io.github.atomadictech/aaaa-nexus", Install via Claude Desktop, Cursor, or any MCP-compatible client using the server manifest from the upstream repository.
- Formally verified AI safety APIs.
- 27 registered MCP tools for structured agent access.
- Category: AI & LLM Tools with ship/security journey placement.
- Compatible with Claude Desktop, Cursor, and MCP clients.
- Upstream manifest: aaaa-nexus.
Aaaa Nexus — Formally Verified AI Safety APIs by the numbers
- Exposes 27 verified tools (MCP introspection)
- Data as of Jul 9, 2026 (Skillselion catalog sync)
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcpAdd your badge
Show developers this MCP server is listed on Skillselion. Paste this into your README.
| Transport | HTTP |
|---|---|
| Auth | None |
| Tools | 27 |
| Repository | atomadictech/aaaa-nexus ↗ |
How do I connect aaaa-nexus - Formally Verified AI Safety APIs to my MCP client?
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Who is it for?
Teams wiring aaaa-nexus - Formally Verified AI Safety APIs into Claude, Cursor, or custom agents for ai & llm tools.
Skip if: Skip when you need a non-MCP SDK or hosted API without stdio/SSE transport.
What you get
Working aaaa-nexus - Formally Verified AI Safety APIs MCP server with verified tool registration and client config.
- Programmatic access to 75+ safety API endpoints via MCP tools
- Metered USDC billing without mandatory SaaS signup
- Integration path documented via GitHub and workers.dev site
By the numbers
- [object Object]
aaaa-nexus — Formally Verified AI Safety APIs capabilities & compatibility
- Capabilities
- aaaa nexus formally verified ai safety apis mc · aaaa nexus formally verified ai safety apis cl · aaaa nexus formally verified ai safety apis ag
- Use cases
- devops
- Runs
- Runs locally
What aaaa-nexus — Formally Verified AI Safety APIs says it does
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Tools 27
Public tool metadata - what this server can do for an agent.
rng_quantum1 paramQuantum-seeded random bytes with HMAC-SHA256 entropy proof
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
threat_score1 paramScore a JSON payload for security threats using triality consensus
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
hallucination_oracle1 paramGet the LLM hallucination threshold constant
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
identity_verify1 paramTopological identity verification
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
ratchet_register1 paramRegister a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
authorize_action1 paramPre-action authorization gateway — deterministic tool-call gating with cryptographic tokens
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
spending_authorize1 paramSpending governance — validate agent chain spending within trust-decay bounds
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
lineage_record1 paramDecision lineage vault — structured decision trace capture with tamper-proof hash chain
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
contract_verify1 paramBehavioral contract verifier — verify agent policy claims against formal bounds
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
federation_mint1 paramAgent identity federation — mint cross-platform portable identity tokens
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
aegis_mcp_proxy_execute1 paramNEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
aegis_router_epistemic_bound1 paramNEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
vanguard_continuous_redteam1 paramNEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
vanguard_mev_route_intent1 paramNEXUS VANGUARD MEV route intent protection and shield bundle orchestration.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
vanguard_wallet_govern_session1 paramNEXUS VANGUARD UCAN governance session issuance for structured wallet approval.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
vanguard_escrow_lock_and_verify1 paramNEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
uep_preflight1 paramUEP phase-0 preflight gate — bounded task summary and friction estimate before execution.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
uep_context1 paramUEP context pack synthesis — merge recon snippets into a single agent-facing context object.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
uep_synthesis_guard1 paramUEP synthesis guard — block ungrounded expansions when evidence links are missing.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
uep_autopoiesis_plan1 paramUEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
uep_trace_certify1 paramUEP trace certification — sign a decision trace checksum for audit vault handoff.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
uep_aha_detect1 paramUEP AHA moment detector — novelty spike scoring for epiphany-style gates.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
sys_constants1 paramSys constants snapshot — public tier counts, trust floor, and block dimension anchors.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
rag_augment1 paramTrusted RAG augment — retrieve-and-quote augmentation with provenance hashes.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
text_summarize1 paramExtractive text summarizer for bounded passages (JSON in, summary out).
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
sys_trust_gate1 paramSys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
sys_lint_gate1 paramSys lint gate — structural policy lint over JSON agent plans.
bodyobjectFor POST tools: JSON body per the matching path in /openapi.json.
Recommended MCP Servers
0Latency MemoryPersistent memory layer for AI agents.
0nMCP — Universal AI API OrchestratorUniversal AI API Orchestrator — 1,554 tools, 96 services.
0xHumans Protocol MCPMCP for AI agents: financing, skills, lending on Base1k Patient Mcp1k patient MCP server
1trippulse1trip PULSE: 21-tool AI travel planner.
3D AI Agent Avatar3D AI Agent Avatar — render any GLB, give it a Solana wallet, a voice, and pump.fun powers.89How it compares
Verified safety API gateway over MCP, not a local prompt-only skill or generic chat moderation SaaS with flat seats.
FAQ
What does aaaa nexus MCP do?
Formally verified AI safety APIs.
When should I use aaaa nexus?
User asks about aaaa-nexus - Formally Verified AI Safety APIs mcp, formally verified ai safety apis. pay-per-call via usdc (x402). 75+ en.
Is this MCP server safe to install?
Review the Security Audits panel and upstream source before connecting in production.