150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/RudrenduPaul/HaltProof
✓ REGISTRY VERIFIEDLOCAL

HaltProof

RudrenduPaul/HaltProof

MCP server for HaltProof's emergency-shutdown orchestration and cryptographic audit-proof layer, enabling AI agents to dry-run or execute cluster halt operations across Slurm, Kubernetes, and IPMI, and verify signed, hash-chained attestation logs.

↗RudrenduPaul/HaltProofExternal link; availability not verifiedLicenseMIT LicenseLocal-only
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (2mo)
0toolsLocal/ STDIO2moindexed
Checked Aug 11, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Aug 5, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
✓
Registry presence
Verified
Listed on the Official MCP Registry under Linux Foundation governance.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
✓ Listed on the Official MCP Registry under Linux Foundation governance.
↗RudrenduPaul/HaltProofExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
More from RudrenduPaul
DeskCert MCP Server
Exposes a run_suite tool to evaluate whether an AI agent is safe to operate internal web apps, scoring task completion and forbidden-action violations to gate CI/CD pipelines.
io.github.RudrenduPaul/memtrust
Independent, reproducible benchmark harness for agent-memory backends.
io.github.RudrenduPaul/graphkeeper
Mines git history for file co-change patterns into a queryable knowledge graph via MCP.
io.github.RudrenduPaul/llmscout
Zero-config SEO and GEO checker: 21 technical-SEO and generative-engine checks for a live site.
io.github.RudrenduPaul/agent-observability
AI agent observability with deterministic record/replay for debugging agent failures.
TokenTrust
Vendor-neutral CLI and MCP server that verifies the token and cost savings AI-coding-agent context-reduction proxies actually deliver, measured against a real labeled corpus.
Similar servers
NodeAPI
Machine-native GIS processing API for AI agents and developers. Convert, reproject, validate, repair, buffer, clip, dissolve, and tile vector geodata across 25 endpoints. Pay-per-use USDC on Solana Mainnet ($0.01/op). No accounts, no API keys. Remote MCP SSE.
astllm-mcp
An MCP server for efficient code indexing and symbol retrieval using tree-sitter AST parsing to fetch specific functions or classes without loading entire files. It significantly reduces AI token costs by providing O(1) byte-offset access to code components across multiple programming languages.
Openterms-mcp
Cryptographic proof of consent for AI agents. Sign before you act. Policy engine enforces spending caps, action whitelists, and escalation rules. Independently verifiable by anyone.
Aegis-ZK
On-chain trust verification for AI agent tools. Agents query skill attestations, audit levels, and risk scores before running third-party MCP servers, so you know what's safe before you execute.
Satoshidata Wallet Intelligence
Bitcoin wallet intelligence for AI agents: labels, risk signals, transactions, fees, and mempool.
HiveAgent — The Agentzon
498 MCP tools across 12 industry verticals. Marketplace, escrow, DeFi, legal, healthcare, insurance, construction, and trades. USDC payments on Base L2.
Indexed from Official MCP Registry · Updates nightly