אחרים · שרת MCP מקומי

Haltproof

Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.

מה ה-MCP Registry מציין

הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.

שם במרשם
io.github.RudrenduPaul/haltproof
גרסה
0.1.3
סטטוס
פעיל
קטגוריה
אחרים
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
PyPI
פורסם
11 באוגוסט 2026
עודכן
11 באוגוסט 2026
מפרסם
RudrenduPaul (GitHub) · 34 שרתים עם דפים כאן
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/RudrenduPaul) · איך
מאגר קוד
github.com/RudrenduPaul/HaltProof
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
PyPIסביבת ריצה: uvxhaltproof-cli0.1.3stdioלא הוצהרו

איך מחברים את Haltproof

Haltproof רץ באופן מקומי מתוך חבילת Python שפורסמה ב-PyPI: haltproof-cli, גרסה 0.1.3. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Python; לקוחות מפעילים אותו בדרך כלל עם uvx (מתוך uv) או אחרי pip install - הפקודה המקובלת היא uvx haltproof-cli.

בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):

{
  "mcpServers": {
    "haltproof": {
      "command": "uvx",
      "args": [
        "haltproof-cli"
      ]
    }
  }
}

נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים

עוד מ-RudrenduPaul (GitHub)

כל ה-34 ←
שרתהרצהנקודת קצה או חבילה
ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required.מקומי · stdioPyPI: computeledger-cli
ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans.מקומי · stdioPyPI: continuityguard-cli
DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool.מקומי · stdioPyPI: deskcert-cli
EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks.מקומי · stdioPyPI: evolveguard-cli
Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks.מקומי · stdioPyPI: freelancer-payment-protection-cli
GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP.מקומי · stdioPyPI: graphkeeper-cli
InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools.מקומי · stdioPyPI: inferbench-cli
LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site.מקומי · stdioPyPI: llmscout-cli
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.מקומי · stdioPyPI: masterytrace-cli
MemtrustIndependent, reproducible benchmark harness for agent-memory backends.מקומי · stdioPyPI: memtrust-cli
NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools.מקומי · stdioPyPI: neuronscope-cli
OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks.מקומי · stdioPyPI: ownvoice-cli

עוד שרתים בקטגוריה אחרים

כל ה-8,395 ←
שרתהרצהנקודת קצה או חבילה
HALHAL (HTTP API Layer) - An MCP server that provides HTTP API capabilities to Large Language Models.מקומי · stdionpm: hal-mcp
HaldirGuardian layer for AI agents: identity, secrets, audit via MCP.מקומי · stdioPyPI: haldir
HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידapi.blvkware.dev
Halowerk MCP134 paid APIs as MCP tools, billed per call in USDC on Base. No account, no login.מקומי · stdionpm: halowerk-mcp
HandoffCross-session memory for Claude over MCP - prioritised briefs, supersession, cross-project recall.מקומי · stdioPyPI: handoff-mcp
HandoffIT asset management - track equipment, allocations, and digital responsibility terms for your team.מרוחק · HTTPבדיקה חיה: נדרשת התחברותapp.usehandoff.com.br
Handoff - shareable agent result pages + human-in-the-loop approval gatesFollowable agent result pages + human-in-the-loop yes/no approval gates before irreversible actions.מרוחק · HTTPhandoff.notdown-app.workers.dev
Handoff MCP ServerDurable agent-to-agent handoffs and shared scratchpad for multi-agent workflows.מרוחק · HTTPבדיקה חיה: נדרשת התחברותhandoff-mcp-server-production.mcp.xpay.sh