UntestedAI / MLStreamable HTTPFresh · 14d

aaaa-nexus — Formally Verified AI Safety APIs

io.github.atomadictech/aaaa-nexus · v0.4.0

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

Website Repository

Gecko Rating

Untested

GitHub Stars

—

no 7d delta yet

Transport

Streamable HTTP

v0.4.0

Last Update

2026-04-09

Install aaaa-nexus — Formally Verified AI Safety APIs

Ready-to-paste config for every major MCP client

claude mcp add --transport http aaaa-nexus https://io.github.atomadictech/mcp

HTTP transport · replace URL with the server's endpoint.Claude Code docs

Why Untested?

Not enough public signal yet · try at your own pace.

Has repo

Has website

Classified

Transport specified

Alternatives

Same category · same transport · ranked by stars

ref-tools-ref-tools-mcp

1,069★ · Frontier

More AI / ML servers

Top picks in the same category

mcp-server-browserbase

Frontier · 78 gecko

basic-memory

Frontier · 77 gecko

Embeddable badge

Drop into your README · auto-updates when the rating changes

[![aaaa-nexus — Formally Verified AI Safety APIs · Gecko Rating](https://benchgecko.ai/badge/mcp/aaaa-nexus.svg)](https://benchgecko.ai/mcp/aaaa-nexus)

The badge auto-updates · your tier and star count refresh every 24 h.

FAQ

Auto-generated from the dataset · updated daily

What is aaaa-nexus — Formally Verified AI Safety APIs?

aaaa-nexus — Formally Verified AI Safety APIs is an MCP (Model Context Protocol) server in the AI / ML category. Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

How is aaaa-nexus — Formally Verified AI Safety APIs rated?

BenchGecko rates aaaa-nexus — Formally Verified AI Safety APIs Untested on the Gecko Rating ladder (16/100). Not enough public signal yet · try at your own pace.

How do I install aaaa-nexus — Formally Verified AI Safety APIs?

aaaa-nexus — Formally Verified AI Safety APIs supports Claude Code, Cursor, Windsurf, and VS Code. Each client needs a different config format · BenchGecko shows ready-to-paste snippets for all four above. Stdio servers run locally via npx; streamable-http and SSE servers connect over the network.

Does aaaa-nexus — Formally Verified AI Safety APIs support streaming?

aaaa-nexus — Formally Verified AI Safety APIs uses the Streamable HTTP transport. Streamable HTTP is the newer MCP spec for long-lived network connections.