Remote MCP · Endpoint

aaaa-nexus — Formally Verified AI Safety APIs MCP server

No. aaaa-nexus — Formally Verified AI Safety APIs answered an MCP handshake 1 hour ago.

UpLast checked 1 hour ago

Server URL

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

The last check completed an MCP handshake.

Registry name
io.github.atomadictech/aaaa-nexus
Transport
Streamable HTTP
Protocol negotiated
2025-11-25
Handshake latency
445 ms
Tools exposed
44 tools
Uptime, last 30 days
100% from 17 checks
Described by its publisher as
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Website
https://aaaa-nexus.atomadictech.workers.dev/
Repository
https://github.com/atomadictech/aaaa-nexus
Listing
From the official MCP registry (active).
Recent checks of aaaa-nexus — Formally Verified AI Safety APIs
CheckedResultHandshake
1 hour agoHandshake completed445 ms
2 days agoHandshake completed214 ms
4 days agoHandshake completed118 ms
5 days agoHandshake completed229 ms
7 days agoHandshake completed63 ms
8 days agoHandshake completed334 ms
9 days agoHandshake completed140 ms
12 days agoHandshake completed100 ms
13 days agoHandshake completed176 ms
15 days agoHandshake completed207 ms
16 days agoHandshake completed148 ms
18 days agoHandshake completed118 ms
19 days agoHandshake completed120 ms
20 days agoHandshake completed137 ms
20 days agoHandshake completed48 ms
21 days agoHandshake completed105 ms
22 days agoHandshake completed312 ms

The last 17 checks. Full history is kept for 30 days; the all-time counter stands at 17 responding of 17.

How to read this

  • ·Handshake latency is one measurement from one probe, from our infrastructure. It is a smoke signal about the endpoint, not a benchmark of your own connection to it.
  • ·An authentication challenge counts as responding. A hosted server that refuses an anonymous prober is behaving correctly.
  • ·A tool count of “behind credentials” means the handshake worked but listing tools needed a token we do not hold.
  • ·Uptime covers the last 30 days of our own checks, at most one an hour, and says how many checks it is drawn from.

Related

All hosted MCP serversGlide connector for AI assistantsGlide for AI agents

Listing data comes from the official MCP registry. Glide is not affiliated with aaaa-nexus — Formally Verified AI Safety APIs and makes no claim about it beyond what these checks measured.