MCP Server

aaaa-nexus — Formally Verified AI Safety APIs MCP Server

io.github.atomadictech/aaaa-nexus

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

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

Copy-paste configuration for popular MCP clients.

transport: http

Config generated by PluginBench — verify against the source before use.

~/.cursor/mcp.json

{
  "mcpServers": {
    "aaaa-nexus": {
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Active

Adaptive running and strength coaching for the long run.

Python

MIT

Active

Official YoAuto MCP gateway for vehicle search and marketplace workflows in Moldova.

Search MCP servers in the public mcp-catalog.ru directory.

Maintained

CBR exchange rates and key rates for Russia. MCP tools for finance agents.

Python

MIT

Maintained

EGRUL/EGRIP company registry lookup for Russian legal entities and entrepreneurs.

Python

MIT