פיתוח · שרת MCP מקומי
Axiom - Advanced Math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.tufantunc/axiom-math- גרסה
- 1.0.5
- סטטוס
- פעיל
- קטגוריה
- פיתוח
- שכבת תעבורה
- stdio (תהליך מקומי)
- חבילה
- npm
- פורסם
- 9 באוגוסט 2026
- עודכן
- 9 באוגוסט 2026
- מפרסם
- tufantunc (GitHub) · 2 שרתים עם דף כאן
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/tufantunc) · איך
- אתר
- github.com/tufantunc/axiom-advanced-math-mcp
- מאגר קוד
- github.com/tufantunc/axiom-advanced-math-mcp
- מקור
- הרשומה ב-API של המרשם
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| npm | axiom-math | 1.0.5 | stdio |
איך מחברים את Axiom - Advanced Math
Axiom - Advanced Math רץ באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: axiom-math, גרסה 1.0.5. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y axiom-math@1.0.5.
בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math@1.0.5"
]
}
}
}נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד מ-tufantunc (GitHub)
| שרת | הרצה |
|---|---|
| SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log. | מקומי · stdio |
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI. | מקומי · stdio |
| aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client. | מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת יד |
| AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✓ לחיצת יד |
| AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply. | מקומי · stdio |
| axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring. | מרוחק · SSE ו-HTTPבדיקה חיה: נדרשת התחברות |
| AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: נדרשת התחברות |
| Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call. | מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת יד |
| Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |