haltproof

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.RudrenduPaul/haltproof",
  "description": "Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.",
  "repository": {
    "url": "https://github.com/RudrenduPaul/HaltProof",
    "source": "github"
  },
  "version": "0.1.3",
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "haltproof-cli",
      "version": "0.1.3",
      "runtimeHint": "uvx",
      "transport": {
        "type": "stdio"
      },
      "runtimeArguments": [
        {
          "value": "haltproof-cli",
          "type": "named",
          "name": "--from"
        }
      ],
      "packageArguments": [
        {
          "value": "haltproof",
          "type": "positional",
          "valueHint": "script_name"
        },
        {
          "value": "mcp-server",
          "type": "positional",
          "valueHint": "subcommand"
        }
      ]
    }
  ]
}