Autres · Serveur MCP distant

aaaa-nexus - Formally Verified AI Safety APIs

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

Visiter le site de aaaa-nexus - Formally Verified AI Safety APIs

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre: io.github.atomadictech/aaaa-nexus
Version: 0.4.0
Statut: Actif
Catégorie: autres
Transport: Streamable HTTP
Publié: 7 avril 2026
Mis à jour: 7 avril 2026
Éditeur: atomadictech (GitHub) · 2 serveurs avec une page ici
Espace de noms: Espace de noms vérifié par le MCP Registry via GitHub (github.com/atomadictech) · comment
Site web: aaaa-nexus.atomadictech.workers.dev
Dépôt: github.com/atomadictech/aaaa-nexus
Source: Entrée dans l’API du registre

Points de terminaison distants

Transport	URL	En-têtes déclarés
Streamable HTTP	`https://aaaa-nexus.atomadictech.workers.dev/mcp`	Aucun

Vérification en direct

Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.

Joignable: Oui (HTTP 200)
Poignée de main: aaaa-nexus 0.5.1 · protocole 2025-11-25
Outils trouvés: 44 - afficher les noms
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
Vérifié le: 5 octobre 2026

Comment fonctionne la vérification en direct

Comment connecter aaaa-nexus - Formally Verified AI Safety APIs

aaaa-nexus - Formally Verified AI Safety APIs est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://aaaa-nexus.atomadictech.workers.dev/mcp. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.

L’entrée du registre ne déclare aucun en-tête. Si le serveur vous demande de vous connecter, un client qui prend en charge l’autorisation MCP ouvre la page de connexion du service lui-même lors du premier accès.

Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Du même éditeur : atomadictech (GitHub)

Voir les 2 →

Serveur	Exécution	Point de terminaison ou paquet
Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.	Distant et local · HTTP et stdioVérification en direct : ✗ pas de poignée de main	forge.atomadic.tech

Autres serveurs : autres

Voir les 8 395 →

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