פיתוח · שרת MCP מקומי
Orca MCP Server
Go from natural language to verified finite state machines - topology bugs caught before code runs.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.jascal/orca-mcp-server- גרסה
- 0.1.30
- סטטוס
- פעיל
- קטגוריה
- פיתוח
- שכבת תעבורה
- stdio (תהליך מקומי)
- חבילה
- npm
- פורסם
- 3 ביוני 2026
- עודכן
- 3 ביוני 2026
- מפרסם
- jascal (GitHub)
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/jascal) · איך
- מאגר קוד
- github.com/jascal/orca-lang (תיקייה packages/mcp-server)
- מקור
- הרשומה ב-API של המרשם
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| npmסביבת ריצה: npx | @orcalang/orca-mcp-server | 0.1.30 | stdio |
איך מחברים את Orca MCP Server
Orca MCP Server רץ באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: @orcalang/orca-mcp-server, גרסה 0.1.30. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y @orcalang/orca-mcp-server@0.1.30. הוא קורא את משתני הסביבה האלה: ANTHROPIC_API_KEY (סודי), ORCA_PROVIDER ו-ORCA_MODEL; יש להגדיר אותם בתצורת הלקוח עבור השרת הזה.
בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):
{
"mcpServers": {
"orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server@0.1.30"
],
"env": {
"ANTHROPIC_API_KEY": "<סוד>",
"ORCA_PROVIDER": "<ערך>",
"ORCA_MODEL": "<ערך>"
}
}
}
}נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| OptuxCreate and run A/B tests, patches, split tests and feature flags on your website. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| oraclemcpEngine-free, governed Oracle Database MCP server with a fail-closed SQL guard (unofficial). | מקומי · stdio |
| OrangeProFind test gaps, generate grounded tests, and dynamically prove behavior with mutation testing. | מקומי · stdio |
| OrbitAn app builder for agents. Your agent creates screens, a Postgres database, and a live URL. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| OrcareplayRead, replay and fork recorded coding-agent runs. | מקומי · stdio |
| OrcaRouterBrowse 160+ LLM models and live pricing - no API key needed for catalog. Add key to route chat. | מקומי · stdio |
| OrchestratorLet one coding-agent CLI consult another: Codex, Claude Code, OpenCode, Copilot or Antigravity. | מקומי · stdio |
| OrchestrUIDeterministic UI policy, discovery and audits for coding agents across seven ecosystems. | מקומי · stdio |