פיתוח · שרת 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סביבת ריצה: uvx | mathlas-mcp | 1.5.0 | stdio |
איך מחברים את 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 · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more. | מקומי · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | מקומי · stdio |
| Mastyf.AiRuntime proxy for MCP security, cost governance & audit. | מקומי · stdio |
| matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT. | מקומי · stdio |
| matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: נדרשת התחברות |
| MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP. | מקומי · stdio |
| Maven DecoderLets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central. | מקומי · stdio |
| MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits. | מקומי · stdio |