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

gonzalgo

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

לאתר של gonzalgo

מה ה-MCP Registry מציין

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

שם במרשם
io.github.vince-gonzalez/gonzalgo
גרסה
0.5.6
סטטוס
פעיל
קטגוריה
פיתוח
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
PyPI
פורסם
11 בספטמבר 2026
עודכן
11 בספטמבר 2026
מפרסם
vince-gonzalez (GitHub) · 4 שרתים עם דפים כאן
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/vince-gonzalez) · איך
אתר
f-keys.com/gonzalgo/
מאגר קוד
github.com/vince-gonzalez/gonzalgo
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
PyPIסביבת ריצה: uvxgonzalgo0.5.6stdioלא הוצהרו

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

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

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

{
  "mcpServers": {
    "gonzalgo": {
      "command": "uvx",
      "args": [
        "gonzalgo"
      ]
    }
  }
}

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

עוד מ-vince-gonzalez (GitHub)

כל ה-4 ←
שרתהרצהנקודת קצה או חבילה
ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates.מקומי · stdionpm: colorblind-mcp
CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.מקומי · stdionpm: cvdsafe-mcp
SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.מקומי · stdioPyPI: saydo

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

כל ה-5,152 ←
שרתהרצהנקודת קצה או חבילה
GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases.מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✗ אין לחיצת ידgoldenflow-mcp-production.up.railway.app
goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers.מקומי · stdionpm: golive-mcp
Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידmcp.gogonka.com
GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math.מרוחק · HTTPבדיקה חיה: נדרשת התחברותgonkbot.com
GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts.מקומי · stdionpm: goodmemory
Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API.מקומי · stdionpm: google-ai-search-mcp
Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions.מקומי · stdionpm: mcp-google-apps-script
Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals.מקומי · stdioPyPI: google-play-mcp