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

Mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

מה ה-MCP Registry מציין

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

שם במרשם
io.github.Archerkattri/mathlas
גרסה
1.5.0
סטטוס
פעיל
קטגוריה
פיתוח
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
PyPI
פורסם
2 ביולי 2026
עודכן
2 ביולי 2026
מפרסם
Archerkattri (GitHub)
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/Archerkattri) · איך
מאגר קוד
github.com/Archerkattri/mathlas
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
PyPIסביבת ריצה: uvxmathlas-mcp1.5.0stdioMATHLAS_SEED ו-MATHLAS_INDEX

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

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

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

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "<ערך>",
        "MATHLAS_INDEX": "<ערך>"
      }
    }
  }
}

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

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

כל ה-5,152 ←
שרתהרצהנקודת קצה או חבילה
MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more.מקומי · stdioאימג' OCI (Docker): docker.io/massdrivercloud/mcp-server:0.2.0
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.מקומי · stdioPyPI: masterytrace-cli
Mastyf.AiRuntime proxy for MCP security, cost governance & audit.מקומי · stdionpm: @mastyf_ai/server
matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT.מקומי · stdionpm: @mate-tools/mcp-server
matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data.מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: נדרשת התחברותmcp.matih.ai
MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.מקומי · stdioMCP Bundle (.mcpb): matlab/matlab-mcp-server/releases/download/v0.13
Maven DecoderLets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central.מקומי · stdionpm: maven-decoder-mcp
MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits.מקומי · stdionpm: maxaeo-ai-visibility-mcp