אחרים · שרת MCP מרוחק

aaaa-nexus - Formally Verified AI Safety APIs

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

לאתר של aaaa-nexus - Formally Verified AI Safety APIs

מה ה-MCP Registry מציין

הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.

שם במרשם: io.github.atomadictech/aaaa-nexus
גרסה: 0.4.0
סטטוס: פעיל
קטגוריה: אחרים
שכבת תעבורה: Streamable HTTP
פורסם: 7 באפריל 2026
עודכן: 7 באפריל 2026
מפרסם: atomadictech (GitHub) · 2 שרתים עם דף כאן
מרחב שמות: מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/atomadictech) · איך
אתר: aaaa-nexus.atomadictech.workers.dev
מאגר קוד: github.com/atomadictech/aaaa-nexus
מקור: הרשומה ב-API של המרשם

נקודות קצה מרוחקות

שכבת תעבורה	URL	כותרות מוצהרות
Streamable HTTP	`https://aaaa-nexus.atomadictech.workers.dev/mcp`	אין

בדיקה חיה

האינדקס הזה התחבר לכל נקודת קצה מרוחקת וביקש את רשימת הכלים שלה. הבדיקה רק מתחברת ומבקשת את רשימת הכלים; היא לא מריצה כלים, לא מתחברת לחשבון ולא בודקת אבטחה.

זמין: כן (HTTP 200)
לחיצת יד: aaaa-nexus 0.5.1 · פרוטוקול 2025-11-25
כלים שנמצאו: 44 - הצגת השמות
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
תאריך הבדיקה: 5 באוקטובר 2026

איך הבדיקה החיה עובדת

איך מחברים את aaaa-nexus - Formally Verified AI Safety APIs

aaaa-nexus - Formally Verified AI Safety APIs הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://aaaa-nexus.atomadictech.workers.dev/mcp, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.

ברשומה במרשם לא מוצהרות כותרות. אם השרת דורש התחברות, לקוח שתומך בהרשאות MCP פותח את דף ההתחברות של השירות עצמו בחיבור הראשון.

נגזר מהרשומה במרשם; הבדיקה החיה למעלה מראה רק אם נקודת הקצה השיבה. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים

עוד מ-atomadictech (GitHub)

כל ה-2 ←

שרת	הרצה	נקודת קצה או חבילה
Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.	מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✗ אין לחיצת יד	forge.atomadic.tech

עוד שרתים בקטגוריה אחרים

כל ה-8,395 ←

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