אחרים · שרת MCP מרוחק
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
com.axiomatic-ai/prover- גרסה
- 0.1.0
- סטטוס
- פעיל
- קטגוריה
- אחרים
- שכבת תעבורה
- Streamable HTTP
- פורסם
- 23 בפברואר 2026
- עודכן
- 23 בפברואר 2026
- מפרסם
- com.axiomatic-ai
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך הדומיין axiomatic-ai.com · איך
- מאגר קוד
- github.com/Axiomatic-AI/ax-prover-base-mcp
- מקור
- הרשומה ב-API של המרשם
נקודות קצה מרוחקות
| שכבת תעבורה | URL | כותרות מוצהרות |
|---|---|---|
| Streamable HTTP | https://prover.axiomatic-ai.com/mcp/ | אין |
בדיקה חיה
האינדקס הזה התחבר לכל נקודת קצה מרוחקת וביקש את רשימת הכלים שלה. הבדיקה רק מתחברת ומבקשת את רשימת הכלים; היא לא מריצה כלים, לא מתחברת לחשבון ולא בודקת אבטחה.
- זמין
- כן (HTTP 401)
- לחיצת יד
- לא הושלמה: נדרשת התחברות
- נדרשת התחברות
- כן - HTTP 401; מפורסם OAuth (התשובה מפנה למטא-נתוני ההרשאה שלו)
- תאריך הבדיקה
- 5 באוקטובר 2026
איך מחברים את Prover
Prover הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://prover.axiomatic-ai.com/mcp/, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.
ברשומה במרשם לא מוצהרות כותרות. אם השרת דורש התחברות, לקוח שתומך בהרשאות MCP פותח את דף ההתחברות של השירות עצמו בחיבור הראשון.
נגזר מהרשומה במרשם; הבדיקה החיה למעלה מראה רק אם נקודת הקצה השיבה. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה אחרים
| שרת | הרצה |
|---|---|
| ProvelSenior design & engineering studio for AI and Web3. Free quotes, website audits and NDAs. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Provenance MCPWash-traffic risk checks for Algorand x402 endpoints before your agent trusts or pays them. | מקומי · stdio |
| ProvenonceCryptographic identity, SIGIL naming, heartbeat, and passports for AI agents. | מקומי · stdio |
| ProvenSkills LabsAgent skills from the ProvenSkills Labs store, delivered with updates over one connector. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Provider Trust - Verify a Source or ProviderVerify a source or provider before an AI agent trusts it. Evidence only; unknown stays unknown. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Proximens Oracle1000+ Generative Engine Optimization (GEO) principles exposed via MCP for AI agents. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Proximo - the Proxmox MCP you can hand the keysThe Proxmox MCP you can hand the keys: VE/PBS/PMG/PDM. Plan, prove, undo, diagnose. MCP/A2A/API. | מקומי · stdio |
| Proxmox VEManage Proxmox VE nodes, VMs, containers, storage and snapshots. Read-only by default. | מקומי · stdio |