מפרסם · חשבון GitHub
שרתי MCP שפורסמו על ידי atomadictech
שני שרתים ב-MCP Registry הרשמי פורסמו תחת מרחב השמות io.github.atomadictech/ ויש להם דף באינדקס הזה: שניים מרוחקים ונגישים דרך כתובת URL, ואחד רץ מקומית מחבילה (אחד מציע את שתי האפשרויות). פורסם לראשונה: 7 באפריל 2026; העדכון האחרון: 11 במאי 2026.
מה המפרסם הזה מפרסם
שמות תחת io.github.atomadictech/ יכול לפרסם רק מי שמתחבר ל-MCP Registry כמשתמש GitHub atomadictech, או עם ההרשאות שהמרשם דורש בארגון GitHub בשם זה (התיעוד שלו מבקש כיום בעלים של הארגון). השם מראה איזה חשבון GitHub פרסם את הרשומה; הוא לא מראה שהחשבון שייך לחברה שהשרת עובד עם המוצר שלה.
- מרחב שמות
io.github.atomadictech- שרתים עם דף
- 2
- קטגוריות
- פיתוח (1) ו-אחרים (1)
- שכבות תעבורה
- Streamable HTTP (2) ו-stdio (תהליך מקומי) (1)
- מרשמי חבילות
- PyPI (1)
- שרתים מרוחקים שמצהירים על כותרת (header)
- 0 מתוך 2
- חבילות שמצהירות על משתני סביבה
- 0 מתוך 1
- אתרים מוצהרים
- aaaa-nexus.atomadictech.workers.dev ו-forge.atomadic.tech
- פורסם לראשונה
- 7 באפריל 2026
- העדכון האחרון
- 11 במאי 2026
מאגרי קוד מקור
שני מאגרי הקוד שהשרתים האלה מציינים, עם מספר השרתים שמציינים כל אחד, בסדר יורד של מספר האזכורים.
שני השרתים, בסדר אלפביתי
| שרת | הרצה |
|---|---|
| aaaa-nexus - Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✗ אין לחיצת יד |
מקובץ לפי מרחב השמות במרשם, כפי שה-MCP Registry מציין אותו. דף כאן אינו המלצה, ואף אחד לא משלם כדי להופיע ברשימה: מדיניות עריכה · לפני שמחברים שרת