פיתוח · שרת MCP מרוחק
Korext: AI Code Governance
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.Korext/governance- גרסה
- 3.0.1
- סטטוס
- פעיל
- קטגוריה
- פיתוח
- שכבת תעבורה
- Streamable HTTP ו-stdio (תהליך מקומי)
- חבילה
- npm
- פורסם
- 15 באפריל 2026
- עודכן
- 15 באפריל 2026
- מפרסם
- Korext (GitHub)
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/Korext) · איך
- מאגר קוד
- github.com/Korext/enforce-action.git
- מקור
- הרשומה ב-API של המרשם
נקודות קצה מרוחקות
| שכבת תעבורה | URL | כותרות מוצהרות |
|---|---|---|
| Streamable HTTP | https://app.korext.com/api/mcp | Authorization (סודי) |
בדיקה חיה
האינדקס הזה התחבר לכל נקודת קצה מרוחקת וביקש את רשימת הכלים שלה. הבדיקה רק מתחברת ומבקשת את רשימת הכלים; היא לא מריצה כלים, לא מתחברת לחשבון ולא בודקת אבטחה.
- זמין
- כן (HTTP 200)
- לחיצת יד
- korext-mcp 3.0.0 · פרוטוקול 2025-06-18
- כלים שנמצאו
- 5:
get_directives,check_code,list_packs,generate_proof,get_proof - תאריך הבדיקה
- 5 באוקטובר 2026
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| npmסביבת ריצה: npx | korext | 1.0.0 | stdio |
איך מחברים את Korext: AI Code Governance
Korext: AI Code Governance הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://app.korext.com/api/mcp, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.
הרשומה במרשם מצהירה על כותרת HTTP (header) לחיבור: Authorization (סודי). כותרת סודית נושאת בדרך כלל מפתח API או טוקן שהשירות מנפיק; לקוחות שמקבלים כותרות מותאמות אישית מגדירים אותה יחד עם כתובת ה-URL של השרת.
אפשר גם להריץ אותו באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: korext, גרסה 1.0.0. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y korext@1.0.0.
בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):
{
"mcpServers": {
"governance": {
"command": "npx",
"args": [
"-y",
"korext@1.0.0"
]
}
}
}נגזר מהרשומה במרשם; הבדיקה החיה למעלה מראה רק אם נקודת הקצה השיבה. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| Koncept MCP ServerQuery a curated YAML semantic concept graph for codebase invariants and cross-cutting facts. | מקומי · stdio |
| Kongen Labs - Pattern IntelligenceLLM reasoning regime detection, cross-domain pattern transfer, and model routing. | מקומי · stdio |
| KonQuest Meta Ads MCPSupervised Meta Ads operating system for Claude Code with 57 campaign management tools. | מקומי · stdio |
| KoragraphLocal multi-repo code graph over MCP. Blast radius, call graphs, and memory anchored to code. | מקומי · stdio |
| Korg Introspect MCPWrap any korg:introspect@v1-aware binary as a Claude Code tool, honoring declared side-effects. | מקומי · stdio |
| Korg LedgerVerifiable cognition: prove a session ledger is tamper-evident; audit & import any agent's logs. | מקומי · stdio |
| Korg Recall MCPCross-vendor semantic memory: recall across Claude Code / Codex / Grok sessions by meaning. | מקומי · stdio |
| Krabbot DevtoolsAI-agent-run devtools: package install risk, stack EOL/CVE checks, scored OSS bounties. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |