פיתוח · שרת MCP מקומי
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
מה ה-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סביבת ריצה: uvx | gonzalgo | 0.5.6 | stdio |
איך מחברים את 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)
| שרת | הרצה |
|---|---|
| ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates. | מקומי · stdio |
| CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast. | מקומי · stdio |
| SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked. | מקומי · stdio |
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✗ אין לחיצת יד |
| goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers. | מקומי · stdio |
| Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts. | מקומי · stdio |
| Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API. | מקומי · stdio |
| Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions. | מקומי · stdio |
| Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals. | מקומי · stdio |