trackmcp
Back to directory
RudrenduPaul

HaltProof

View on GitHub

Cryptographically auditable emergency-shutdown orchestration for Slurm, Kubernetes, and IPMI/BMC clusters.

0 stars PythonOthers Updated Aug 25, 2026
agent-toolingattestationaudit-trailclicluster-managementcompliancedevopsed25519incident-responseinfrastructure-governanceipmikubernetesmcpslurmdry-run

No README could be loaded. View the project on GitHub for full documentation.

Frequently asked questions

What is HaltProof?

HaltProof is Cryptographically auditable emergency-shutdown orchestration for Slurm, Kubernetes, and IPMI/BMC clusters.

How do I install HaltProof?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is HaltProof open source?

Yes — it is hosted on GitHub at https://github.com/RudrenduPaul/HaltProof.

Related MCP tools

IBMmcp-context-forge

An AI Gateway, registry, and proxy that sits in front of any MCP, A2A, or REST/gRPC APIs, exposing a unified endpoint with centralized discovery, guardrails and management. Optimizes Agent & Tool calling, and supports plugins.

4,422 Python
agentsaiapi-gateway+17
mnemox-aitradememory-protocol

Decision audit trail + persistent memory for AI trading agents. Outcome-weighted recall, tamper-evident SHA-256 chain with RFC 3161 anchoring, 20 MCP tools.

1,413 Python
claudeforexmcp+11
sipyourdrink-ltdbernstein

The open‑source AI Agents Governance & Orchestration framework: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run

1,095 Python
agent-orchestratordeterministic-replayair-gap+17
kubesharkkubeshark

eBPF-powered network observability for Kubernetes. Indexes L4/L7 traffic with full K8s context, decrypts TLS without keys. Queryable by AI agents via MCP and humans via dashboard.

12,068 Go
kubernetesgolangrest+17
OpenOSINTOpenOSINT

AI-powered OSINT agent with interactive REPL, MCP server, and CLI. 19 tools. Works with Claude, GPT-4, or local models. For authorized security research only.

1,523 Python
ai-agentanthropicclaude+16
rohitg00kubectl-mcp-server

Chat with your Kubernetes Cluster using AI tools and IDEs like Claude and Cursor! for the Model Context Protocol. Enhance AI assistants with powerful integratio

732 Python
aideploymentdevops+6

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP