AAAA-Nexus MCP

Name: AAAA-Nexus MCP
Author: AAAA-Nexus

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

by AAAA-Nexus(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Imported from the official MCP registry - entry io.github.AAAA-Nexus/aaaa-nexus-mcp v0.1.1. Ratings and installs below are from this marketplace.

AAAA-Nexus MCP

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

Packages

pypi: aaaa-nexus-mcp @ 0.1.1

Source: https://github.com/AAAA-Nexus/aaaa-nexus-mcp

Registry entry: io.github.AAAA-Nexus/aaaa-nexus-mcp

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

# after Install: the listing is in your workspace's routing pool - nothing else to configure
curl -s -X POST https://api.opensmartroute.ai/api/v1/route -H 'Authorization: Bearer $OSR_API_KEY' -H 'Content-Type: application/json' -d '{"text": "...", "plan": true}'
# or pin it on the OpenAI-compatible endpoint: {"model": "mcp-io-github-aaaa-nexus-aaaa-nexus-mcp", ...}

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

mcp-io-github-aaaa-nexus-aaaa-nexus-mcp.ocm.jsonjson

{
  "ocm": "1",
  "id": "mcp-io-github-aaaa-nexus-aaaa-nexus-mcp",
  "kind": "tool",
  "name": "AAAA-Nexus MCP",
  "description": "Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.",
  "publisher": "AAAA-Nexus",
  "version": "0.1.1",
  "capabilities": {
    "domains": [
      "math"
    ],
    "tags": [
      "mcp",
      "mcp-server",
      "pypi",
      "mcp-registry"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup."
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "mcp-registry",
      "repository": "https://github.com/AAAA-Nexus/aaaa-nexus-mcp",
      "path": "server.json",
      "ref": "0.1.1",
      "url": "https://github.com/AAAA-Nexus/aaaa-nexus-mcp",
      "key": "io.github.AAAA-Nexus/aaaa-nexus-mcp",
      "registry": "https://registry.modelcontextprotocol.io"
    }
  }
}

Fetch it by URL: GET /api/v1/registry/mcp-io-github-aaaa-nexus-aaaa-nexus-mcp/manifest?version=0.1.1

About

AAAA-Nexus MCP

Packages

Use it

Manifest

Reviews