aaaa-nexus — Formally Verified AI Safety APIs

MCP ServerMCP Registry官方收录

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

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

概览

aaaa-nexus — Formally Verified AI Safety APIs 是一个MCP Server，收录自官方 MCP Registry。支持 streamable-http 传输。本页提供 Cursor、Claude Code 等客户端的安装配置片段。

安装

选择你的平台查看安装方式

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

统一 Manifest

{
  "id": "io.github.atomadictech/aaaa-nexus",
  "type": "mcp-server",
  "version": "0.4.0",
  "displayName": "aaaa-nexus — Formally Verified AI Safety APIs",
  "description": "Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.",
  "repository": {
    "url": "https://github.com/atomadictech/aaaa-nexus",
    "source": "github"
  },
  "homepage": "https://aaaa-nexus.atomadictech.workers.dev",
  "distribution": {
    "packages": [],
    "remotes": [
      {
        "transport": "streamable-http",
        "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
      }
    ]
  },
  "dependencies": [],
  "installTargets": [
    "claude-code",
    "claude-desktop",
    "cursor",
    "vscode"
  ],
  "keywords": [],
  "provenance": {
    "origin": "official-mcp-registry",
    "originalId": "io.github.atomadictech/aaaa-nexus",
    "originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.atomadictech%2Faaaa-nexus/versions/latest",
    "isOfficial": true,
    "status": "active"
  }
}

aaaa-nexus — Formally Verified AI Safety APIs

概览

安装

相关资源

RFP.ai

xenarch-mcp

api

agent-lsp

hostinger-api-mcp

Unterm

统一 Manifest