פיתוח · שרת MCP מרוחק
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.wyattbenno777/icme-preflight- גרסה
- 1.0.1
- סטטוס
- פעיל
- קטגוריה
- פיתוח
- שכבת תעבורה
- Streamable HTTP
- פורסם
- 23 במרץ 2026
- עודכן
- 23 במרץ 2026
- מפרסם
- wyattbenno777 (GitHub)
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/wyattbenno777) · איך
- מאגר קוד
- github.com/ICME-Lab/smt-ar-base
- מקור
- הרשומה ב-API של המרשם
נקודות קצה מרוחקות
| שכבת תעבורה | URL | כותרות מוצהרות |
|---|---|---|
| Streamable HTTP | https://api.icme.io/mcp | אין |
בדיקה חיה
האינדקס הזה התחבר לכל נקודת קצה מרוחקת וביקש את רשימת הכלים שלה. הבדיקה רק מתחברת ומבקשת את רשימת הכלים; היא לא מריצה כלים, לא מתחברת לחשבון ולא בודקת אבטחה.
- זמין
- כן (HTTP 200)
- לחיצת יד
- icme-preflight 1.0.0 · פרוטוקול 2025-03-26
- כלים שנמצאו
14 - הצגת השמות
check_logic,check_relevance,make_rules,check_action,check_action_paid,quick_check,verify_proof,get_scenarios,run_tests,create_account,create_account_card,top_up,top_up_card,poll_session- תאריך הבדיקה
- 5 באוקטובר 2026
איך מחברים את Icme Preflight
Icme Preflight הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://api.icme.io/mcp, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.
ברשומה במרשם לא מוצהרות כותרות. אם השרת דורש התחברות, לקוח שתומך בהרשאות MCP פותח את דף ההתחברות של השירות עצמו בחיבור הראשון.
נגזר מהרשומה במרשם; הבדיקה החיה למעלה מראה רק אם נקודת הקצה השיבה. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| IBM Granite via x402X402 pay-per-use IBM Granite AI: chat, code, embeddings, analysis, forecasting. Pay USDC per call. | מקומי · stdio |
| IBM watsonx.ai GraniteIBM watsonx.ai MCP by three.ws: chat, text generation, embeddings, and tokenization. | מקומי · stdio |
| Icd10 CodingICD-10-CM / HCC medical coding tools with database-verified accuracy and denial-prevention rules. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| IcdwiseVerified ICD-10-CM code lookup & validation for AI agents - official descriptions, not guesses. | מקומי · stdio |
| Icon Composer MCPCLI and MCP server for creating Apple.icon bundles with Liquid Glass effects (iOS 26+) | מקומי · stdio |
| iconlabSearch 324k icons or generate new ones in the Lucide grammar - grammar-locked lint+critique+repair. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| iconsroom.comSearch 276,000+ open source icons and insert them as SVG or React components while you code. | מקומי · stdio |
| idameshMCP server for IDA Pro: decompiler, disassembler, and analysis tools for MCP clients. | מקומי · stdio |