פיתוח · שרת MCP מרוחק

Axint

Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.

מה ה-MCP Registry מציין

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

שם במרשם
io.github.agenticempire/axint
גרסה
0.6.0
סטטוס
פעיל
קטגוריה
פיתוח
שכבת תעבורה
Streamable HTTP ו-stdio (תהליך מקומי)
חבילה
npm ו-PyPI
פורסם
16 ביולי 2026
עודכן
16 ביולי 2026
מפרסם
agenticempire (GitHub)
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/agenticempire) · איך
מאגר קוד
github.com/agenticempire/axint
מקור
הרשומה ב-API של המרשם

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

שכבת תעבורהURLכותרות מוצהרות
Streamable HTTPhttps://mcp.axint.ai/mcpאין

בדיקה חיה

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

זמין
כן (HTTP 200)
לחיצת יד
axint 0.6.0 · פרוטוקול 2025-06-18
כלים שנמצאו
36 - הצגת השמותaxint.compile, axint.validate, axint.swift.validate, axint.swift.fix, axint.scaffold, axint.templates.list, axint.templates.get, axint.repair, axint.status, axint.activate, axint.upgrade, axint.doctor, axint.xcode.guard, axint.xcode.write, axint.session.start, axint.feature, axint.project.pack, axint.project.index, axint.project.syncVersion, axint.context.memory, axint.context.docs, axint.suggest, axint.registry.search, axint.workflow.check, axint.fix-packet, axint.cloud.check, axint.feedback.create, axint.agent.install, axint.agent.advice, axint.agent.claim, axint.agent.release, axint.run, axint.run.status, axint.run.cancel, axint.tokens.ingest, axint.schema.compile
תאריך הבדיקה
5 באוקטובר 2026

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

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
npm@axint/compiler0.6.0stdioלא הוצהרו
PyPIaxint0.6.0stdioלא הוצהרו

איך מחברים את Axint

Axint הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://mcp.axint.ai/mcp, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.

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

אפשר גם להריץ אותו באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: @axint/compiler, גרסה 0.6.0. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y @axint/compiler@0.6.0.

אפשר גם להריץ אותו באופן מקומי מתוך חבילת Python שפורסמה ב-PyPI: axint, גרסה 0.6.0. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Python; לקוחות מפעילים אותו בדרך כלל עם uvx (מתוך uv) או אחרי pip install - הפקודה המקובלת היא uvx axint.

בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):

{
  "mcpServers": {
    "axint": {
      "command": "npx",
      "args": [
        "-y",
        "@axint/compiler@0.6.0"
      ]
    }
  }
}

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

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

כל ה-5,152 ←
שרתהרצהנקודת קצה או חבילה
Aws MCP ConnectorMCP server for the AWS CLI. Read-only by default; single Go binary.מקומי · stdioMCP Bundle (.mcpb): FerhatDundar/aws-mcp-connector/releases/download
AWS MCP ServerA managed MCP server enabling AI agents to access AWS using docs, API calls, and SOP workflows.מקומי · stdioPyPI: mcp-proxy-for-aws
AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI.מקומי · stdioPyPI: aat-devqa
aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client.מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת ידpaxai.app
AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.מקומי · stdionpm: @codai/axiom-mcp
Axiom - Advanced MathExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.מקומי · stdionpm: axiom-math
axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring.מרוחק · SSE ו-HTTPבדיקה חיה: נדרשת התחברותmcp.axiom.co
AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board.מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: נדרשת התחברותuseaxis.dev