MCP ServerHTTPOfficialv0.4.0

aaaa-nexus — Formally Verified AI Safety APIs MCP Server

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

io.github.atomadictech/aaaa-nexus

Hosted URL

https://aaaa-nexus.atomadictech.workers.dev/mcp

Transport

HTTP

Auth

No auth required

Connect to aaaa-nexus — Formally Verified AI Safety APIs

Hosted endpoint — paste into any MCP client.

https://aaaa-nexus.atomadictech.workers.dev/mcp

Where to find authoritative docs and source for aaaa-nexus — Formally Verified AI Safety APIs.

Open MCP Agent Studio and connect this server to Claude, GPT, Gemini, DeepSeek and more — no install required.

mcp-context-server

An MCP server that provides persistent multimodal context storage for LLM agents.

SmartMemory

Neuro-symbolic memory for LLMs (POC)

remote-mcp-server

Coupler.io remote MCP server

trip-planner

AI-native trip planning with flights, activities, accommodations, tasks, and maps.