נתונים וחיפוש · שרת MCP מרוחק
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
ai.specproof/specproof-mcp- גרסה
- 1.0.0
- סטטוס
- פעיל
- קטגוריה
- נתונים וחיפוש
- שכבת תעבורה
- Streamable HTTP
- פורסם
- 1 בפברואר 2026
- עודכן
- 1 בפברואר 2026
- מפרסם
- ai.specproof
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך הדומיין specproof.ai · איך
- אתר
- specproof.ai
- מאגר קוד
- github.com/ibouazizi/specproof.git
- מקור
- הרשומה ב-API של המרשם
נקודות קצה מרוחקות
| שכבת תעבורה | URL | כותרות מוצהרות |
|---|---|---|
| Streamable HTTP | https://mcp.specproof.ai/ | אין |
בדיקה חיה
האינדקס הזה התחבר לכל נקודת קצה מרוחקת וביקש את רשימת הכלים שלה. הבדיקה רק מתחברת ומבקשת את רשימת הכלים; היא לא מריצה כלים, לא מתחברת לחשבון ולא בודקת אבטחה.
- זמין
- כן (HTTP 200)
- לחיצת יד
- 3gpp-spec-server 1.29.0 · פרוטוקול 2025-06-18
- כלים שנמצאו
17 - הצגת השמות
get_spec_references,get_spec_dependents,get_relationship_graph,get_spec_metadata,get_most_referenced_specs,get_series_overview,search_specifications,semantic_search,get_document_content,list_documents,get_requirements,generate_tests,diff_spec_versions,get_schema_definitions,get_rfc_lineage,build_cross_spec_suite,get_database_stats- תאריך הבדיקה
- 5 באוקטובר 2026
איך מחברים את SpecProof
SpecProof הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://mcp.specproof.ai/, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.
ברשומה במרשם לא מוצהרות כותרות. אם השרת דורש התחברות, לקוח שתומך בהרשאות MCP פותח את דף ההתחברות של השירות עצמו בחיבור הראשון.
נגזר מהרשומה במרשם; הבדיקה החיה למעלה מראה רק אם נקודת הקצה השיבה. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה נתונים וחיפוש
| שרת | הרצה |
|---|---|
| SparkbitesSearch 500+ curated design websites and install DESIGN.md files directly from your AI agent. | מקומי · stdio |
| SparkForge - 20+ Utility APIs with x402 Micropayments20+ pay-per-use APIs: image gen, crypto data, email verify, SSL check, web scraping, and more. | מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת יד |
| Spatial IndiaDistrict-level open data for India - Census, NFHS-5, NCRB, RBI and more, joined onto one geography. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| SpeclockAI Constraint Engine - enforces CLAUDE.md and.cursorrules as laws. 51 MCP tools. | מקומי · stdio |
| Spectre MarketsLive NQ/ES gamma levels, session paths and trade ideas from SPECTRE Markets. Research only. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Spectrum Data DigitalData marketplace for AI agents: quality-scored datasets, compliance checks, x402 USDC payments. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| speedvault.ioRun web performance audits, get code-level fixes, crawl for SEO, and read real-user Core Web Vitals. | מקומי · stdio |
| Speko AIManage Speko voice-AI agents, sessions, calls, phone numbers, knowledge bases, evals, and docs. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |