אחרים · שרת 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סביבת ריצה: uvx | haltproof-cli | 0.1.3 | stdio |
איך מחברים את 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)
| שרת | הרצה |
|---|---|
| ComputeledgerSigns, hash-chains, and verifies compute usage receipts via an MCP server, no issuer trust required. | מקומי · stdio |
| ContinuityguardWraps the ContinuityGuard CLI as a single generic MCP tool for video-clip continuity scans. | מקומי · stdio |
| DeskcertEvaluates whether an AI agent is safe to operate internal web apps via an MCP run_suite tool. | מקומי · stdio |
| EvolveguardWraps the evolveguard CLI as a single generic MCP tool for agent-skill file safety checks. | מקומי · stdio |
| Freelancer Payment ProtectionWraps the fpp CLI as a single generic MCP tool for freelancer client payment-risk checks. | מקומי · stdio |
| GraphkeeperMines git history for file co-change patterns into a queryable knowledge graph via MCP. | מקומי · stdio |
| InferbenchBenchmarks local LLM inference speed (tokens/sec) on your own hardware via MCP tools. | מקומי · stdio |
| LlmscoutZero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site. | מקומי · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | מקומי · stdio |
| MemtrustIndependent, reproducible benchmark harness for agent-memory backends. | מקומי · stdio |
| NeuronscopeTraces which neurons and attention heads drive a language model's output via MCP tools. | מקומי · stdio |
| OwnvoiceWraps the ownvoice CLI as a single generic MCP tool for voice/identity checks. | מקומי · stdio |
עוד שרתים בקטגוריה אחרים
| שרת | הרצה |
|---|---|
| HALHAL (HTTP API Layer) - An MCP server that provides HTTP API capabilities to Large Language Models. | מקומי · stdio |
| HaldirGuardian layer for AI agents: identity, secrets, audit via MCP. | מקומי · stdio |
| HALLUXCheck that a package, module or DOI exists before an agent installs, imports or cites it. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Halowerk MCP134 paid APIs as MCP tools, billed per call in USDC on Base. No account, no login. | מקומי · stdio |
| HandoffCross-session memory for Claude over MCP - prioritised briefs, supersession, cross-project recall. | מקומי · stdio |
| HandoffIT asset management - track equipment, allocations, and digital responsibility terms for your team. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| 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. | מרוחק · HTTP |
| Handoff MCP ServerDurable agent-to-agent handoffs and shared scratchpad for multi-agent workflows. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |