Sonstige · Remote-MCP-Server

aaaa-nexus - Formally Verified AI Safety APIs

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

Zur Website von aaaa-nexus - Formally Verified AI Safety APIs

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name: io.github.atomadictech/aaaa-nexus
Version: 0.4.0
Status: Aktiv
Kategorie: Sonstige
Transport: Streamable HTTP
Veröffentlicht: 7. April 2026
Aktualisiert: 7. April 2026
Herausgeber: atomadictech (GitHub) · 2 Server mit eigener Seite hier
Namensraum: Namensraum von der MCP Registry über GitHub verifiziert (github.com/atomadictech) · So wird verifiziert
Website: aaaa-nexus.atomadictech.workers.dev
Repository: github.com/atomadictech/aaaa-nexus
Quelle: Eintrag in der Registry-API

Remote-Endpunkte

Transport	URL	Deklarierte Header
Streamable HTTP	`https://aaaa-nexus.atomadictech.workers.dev/mcp`	Keine

Live-Prüfung

Dieses Verzeichnis hat sich mit jedem Remote-Endpunkt verbunden und dessen Tool-Liste abgefragt. Die Prüfung stellt nur die Verbindung her und listet Tools auf; sie führt keine Tools aus, meldet sich nicht an und testet nicht die Sicherheit.

Erreichbar: Ja (HTTP 200)
Handshake: aaaa-nexus 0.5.1 · Protokoll 2025-11-25
Gefundene Tools: 44 - Namen anzeigen
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
Geprüft am: 5. Oktober 2026

So funktioniert die Live-Prüfung

So verbinden Sie aaaa-nexus - Formally Verified AI Safety APIs

aaaa-nexus - Formally Verified AI Safety APIs ist ein Remote-MCP-Server: Es muss nichts installiert werden. Sein Endpunkt ist https://aaaa-nexus.atomadictech.workers.dev/mcp, bereitgestellt über Streamable HTTP. In einem Assistenten, der Remote-MCP-Server akzeptiert (oft unter einer Einstellung namens Konnektoren, Integrationen oder Tools), fügen Sie einen neuen Server hinzu und geben diese URL an; in einem Client, der per Datei konfiguriert wird, fügen Sie ihn mit derselben URL als Remote-Server (HTTP) hinzu.

Im Registry-Eintrag sind keine Header deklariert. Verlangt der Server eine Anmeldung, öffnet ein Client mit Unterstützung für MCP-Autorisierung beim ersten Verbinden die Anmeldeseite des Dienstes.

Abgeleitet aus dem Registry-Eintrag; die Live-Prüfung oben zeigt nur, ob der Endpunkt geantwortet hat. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Mehr von atomadictech (GitHub)

Alle 2 →

Server	Ausführung	Endpunkt oder Paket
Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.	Remote und lokal · HTTP und stdioLive-Prüfung: ✗ kein Handshake	forge.atomadic.tech

Weitere Server der Kategorie Sonstige

Alle 8.395 →

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