MCP Marketplace
Sign inSign up
Back to Browse

HaltProof MCP Server

by RudrenduPaul
Developer ToolsModerate5.2MCP RegistryLocal
Free

Server data from the Official MCP Registry

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

About

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

Security Report

5.2
Moderate5.2Moderate Risk

HaltProof is a well-architected cluster shutdown orchestration tool with strong cryptographic audit trail support. The codebase demonstrates mature security practices including proper Ed25519 signing, hash-chained attestation logs, and dry-run-by-default enforcement. Permissions are appropriate for a developer/ops tool that needs to orchestrate Slurm, Kubernetes, and IPMI backends. Minor code quality observations do not impact security posture. Supply chain analysis found 5 known vulnerabilities in dependencies (0 critical, 3 high severity). Package verification found 1 issue.

6 files analyzed · 12 issues found

Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.

Permissions Required

This plugin requests these system permissions. Most are normal for its category.

HTTP Network Access

Connects to external APIs or services over the internet.

env_vars

Check that this permission is expected for this type of plugin.

File System Read

Reads files on your machine. Normal for tools that analyze or process local data.

File System Write

Writes or modifies files on your machine. Check that this is expected for the tool.

Shell Command Execution

Runs commands on your machine. Be cautious — only use if you trust this plugin.

process_spawn

Check that this permission is expected for this type of plugin.

system_info

Check that this permission is expected for this type of plugin.

How to Install

Add this to your MCP configuration file:

{
  "mcpServers": {
    "io-github-rudrendupaul-haltproof": {
      "args": [
        "-y",
        "haltproof-cli"
      ],
      "command": "npx"
    }
  }
}

Reviews

No reviews yet

Be the first to review this server!

More Developer Tools MCP Servers

Git

Free

by Modelcontextprotocol · Developer Tools

Read, search, and manipulate Git repositories programmatically

80.0K
Stars
11
Installs
6.5
Security
No ratings yet
Local

Fetch

Free

by Modelcontextprotocol · Developer Tools

Web content fetching and conversion for efficient LLM usage

80.0K
Stars
12
Installs
5.3
Security
No ratings yet
Local

Toleno

Free

by Toleno · Developer Tools

Toleno Network MCP Server — Manage your Toleno mining account with Claude AI using natural language.

180
Stars
616
Installs
8.0
Security
4.7
Local

mcp-creator-python

Free

by mcp-marketplace · Developer Tools

Create, build, and publish Python MCP servers to PyPI — conversationally.

-
Stars
98
Installs
10.0
Security
4.6
Local

MarkItDown

Free

by Microsoft · Content & Media

Convert files (PDF, Word, Excel, images, audio) to Markdown for LLM consumption

168.6K
Stars
69
Installs
4.2
Security
5.0
Local

MCP Marketplace

Free

by mcp-marketplace · Developer Tools

Search and install MCP servers from inside your AI client.

-
Stars
66
Installs
10.0
Security
5.0
Remote