Altro · Server MCP remoto

aaaa-nexus - Formally Verified AI Safety APIs

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

Vai al sito web di aaaa-nexus - Formally Verified AI Safety APIs

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro: io.github.atomadictech/aaaa-nexus
Versione: 0.4.0
Stato: Attivo
Categoria: altro
Trasporto: Streamable HTTP
Pubblicato: 7 aprile 2026
Aggiornato: 7 aprile 2026
Editore: atomadictech (GitHub) · 2 server con una pagina qui
Namespace: Namespace verificato dal MCP Registry tramite GitHub (github.com/atomadictech) · come funziona
Sito web: aaaa-nexus.atomadictech.workers.dev
Repository: github.com/atomadictech/aaaa-nexus
Fonte: Voce nell’API del registro

Endpoint remoti

Trasporto	URL	Header dichiarati
Streamable HTTP	`https://aaaa-nexus.atomadictech.workers.dev/mcp`	Nessuno

Verifica live

Questa directory si è collegata a ogni endpoint remoto e ne ha richiesto l’elenco degli strumenti. La verifica si limita a collegarsi e a elencare gli strumenti; non li esegue, non effettua l’accesso e non testa la sicurezza.

Raggiungibile: Sì (HTTP 200)
Handshake: aaaa-nexus 0.5.1 · protocollo 2025-11-25
Strumenti trovati: 44 - mostra i nomi
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
Data della verifica: 5 ottobre 2026

Come funziona la verifica live

Come collegare aaaa-nexus - Formally Verified AI Safety APIs

aaaa-nexus - Formally Verified AI Safety APIs è un server MCP remoto: non c’è niente da installare. Il suo endpoint, servito tramite Streamable HTTP, è https://aaaa-nexus.atomadictech.workers.dev/mcp. In un assistente che accetta server MCP remoti (spesso in un’impostazione chiamata connettori, integrazioni o strumenti) si aggiunge un nuovo server indicando questo URL; in un client configurato tramite file lo si aggiunge come server remoto (HTTP) con lo stesso URL.

La voce del registro non dichiara alcun header. Se il server richiede l’accesso, un client che supporta l’autorizzazione MCP apre la pagina di accesso del servizio alla prima connessione.

Ricavato dalla voce del registro; la verifica live riportata sopra mostra solo se l’endpoint ha risposto. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server di atomadictech (GitHub)

Tutti e 2 →

Server	Esecuzione	Endpoint o pacchetto
Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.	Remoto e locale · HTTP e stdioVerifica live: ✗ nessun handshake	forge.atomadic.tech

Altri server della categoria altro

Tutti e 8395 →

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