Overig · Externe MCP-server

aaaa-nexus - Formally Verified AI Safety APIs

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

Naar de website van aaaa-nexus - Formally Verified AI Safety APIs

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam: io.github.atomadictech/aaaa-nexus
Versie: 0.4.0
Status: Actief
Categorie: overig
Transport: Streamable HTTP
Gepubliceerd: 7 april 2026
Bijgewerkt: 7 april 2026
Uitgever: atomadictech (GitHub) · 2 servers met een pagina hier
Namespace: Namespace door de MCP Registry geverifieerd via GitHub (github.com/atomadictech) · hoe
Website: aaaa-nexus.atomadictech.workers.dev
Repository: github.com/atomadictech/aaaa-nexus
Bron: Vermelding in de register-API

Externe endpoints

Transport	URL	Opgegeven headers
Streamable HTTP	`https://aaaa-nexus.atomadictech.workers.dev/mcp`	Geen

Livecontrole

Deze directory heeft verbinding gemaakt met elk extern endpoint en om de lijst met tools gevraagd. De controle maakt alleen verbinding en vraagt de tools op; ze voert geen tools uit, logt niet in en test de beveiliging niet.

Bereikbaar: Ja (HTTP 200)
Handshake: aaaa-nexus 0.5.1 · protocol 2025-11-25
Gevonden tools: 44 - namen tonen
rng_quantum, threat_score, hallucination_oracle, identity_verify, ratchet_register, authorize_action, spending_authorize, lineage_record, contract_verify, federation_mint, aegis_mcp_proxy_execute, aegis_router_epistemic_bound, vanguard_continuous_redteam, vanguard_mev_route_intent, vanguard_wallet_govern_session, vanguard_escrow_lock_and_verify, uep_preflight, uep_context, uep_synthesis_guard, uep_autopoiesis_plan, uep_trace_certify, uep_aha_detect, sys_constants, rag_augment, text_summarize, sys_trust_gate, sys_lint_gate, intent_classify, agents_plan, keys_validate, entitlement_attest, omega_intent_route, omega_emit_materialize, omega_emit_polyglot, omega_intent_nl, forge_recon, forge_certify, forge_wire, forge_tier_infer, forge_audit, docs_generate, lint_analyze, certify_codebase, certify_output
Gecontroleerd op: 5 oktober 2026

Zo werkt de livecontrole

Zo verbind je aaaa-nexus - Formally Verified AI Safety APIs

aaaa-nexus - Formally Verified AI Safety APIs is een externe MCP-server: er hoeft niets te worden geïnstalleerd. Het endpoint is https://aaaa-nexus.atomadictech.workers.dev/mcp, aangeboden via Streamable HTTP. Voeg in een assistent die externe MCP-servers accepteert (vaak onder een instelling met de naam connectors, integraties of tools) een nieuwe server toe en geef die deze URL; voeg hem in een client die via een bestand wordt geconfigureerd toe als externe (HTTP-)server met dezelfde URL.

De registervermelding geeft geen headers op. Als je voor de server moet inloggen, opent een client die MCP-autorisatie ondersteunt bij de eerste verbinding de eigen inlogpagina van de dienst.

Afgeleid van de registervermelding; de livecontrole hierboven laat alleen zien of het endpoint antwoordde. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer van atomadictech (GitHub)

Alle 2 →

Server	Draait	Endpoint of pakket
Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.	Extern en lokaal · HTTP en stdioLivecontrole: ✗ geen handshake	forge.atomadic.tech

Meer servers in de categorie overig

Alle 8.395 →

Server	Draait	Endpoint of pakket
A2aidentitytoll MCPRemote MCP for A2A caller identity, scope policy, verdict receipts, and audit history.	Extern · HTTPLivecontrole: ✗ geen handshake	a2aidentitytoll.clauxel.com
A2AWire Benchmark: Support Agent TrialsFree to compete: testnet faucet funds everything. Support trials. Get scored, get hired.	Extern · HTTPLivecontrole: ✓ handshake	a2awire.com
A2AWire Benchmark: Support Agent Trials - Hard ModeFree to compete: testnet faucet funds everything. Hard support trials. Scored, ranked.	Extern · HTTPLivecontrole: ✓ handshake	a2awire.com
A2me MCP ServerRead-only A2Me family context tools for AI assistants (members, dates, activity, relationships)	Extern · HTTPLivecontrole: inloggen vereist	mcp.a2me.app
AAAA-Nexus MCPFormally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.	Lokaal · stdio	PyPI: aaaa-nexus-mcp
AAI GatewayUnified MCP & Skill management gateway, shared across AI agents, 99% context token savings.	Lokaal · stdio	npm: aai-gateway
AalyBuild a full-stack app from Claude, Cursor, and more - Aaly is the backend API.	Extern · HTTPLivecontrole: inloggen vereist	mcp.aaly.io
aamio rendezvousMeet an agent you have not met, exchange messages that expire, and prove it happened. No account.	Extern · HTTPLivecontrole: ✓ handshake	aamio.at