# Hatun MCP - Governed Agent Gateway (oci · ghcr.io/szl-holdings/hatun-mcp)

Governed MCP gateway: policy gate on every tool call, hash-chained DSSE receipt on every result.

- Trust score: 50/100 (low)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-10-01

## Components

- oci · `ghcr.io/szl-holdings/hatun-mcp`: 50/100 (this document), [markdown](https://verifymcp.io/servers/szl-holdings-hatun-mcp/ghcr-io-szl-holdings-hatun-mcp.md), [page](https://verifymcp.io/servers/szl-holdings-hatun-mcp/ghcr-io-szl-holdings-hatun-mcp)

## Channel facts

- Registry: `oci`
- Package: `ghcr.io/szl-holdings/hatun-mcp`
- Version: `1.0.1`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-10-01.

- **Supply Chain Security**: 0/100
  - No malware scan is available for this kind of package: the supply-chain vendors we use do not cover it. This is a permanent gap in our coverage, not a finding about the package.
  - Known CVEs could not be checked: this artifact ships no SBOM or dependency manifest, so there is no dependency list to read.
  - Install-script risk not yet assessed.
  - Dependency health could not be checked: this artifact ships no SBOM or dependency manifest, so there is no dependency list to read.
- **Provenance & Transparency**: 100/100
  - Source repository is publicly reachable at the declared URL.
  - Cryptographically verified build provenance (signed, bound to szl-holdings/hatun-mcp).
  - Clear OSI-approved license (Apache-2.0).
  - Actively maintained (last published 0 days ago).
  - Publishes a security disclosure policy (SECURITY.md).
- **Schema Quality & AI Usability**: 79/100
  - 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).
  - AI-judged instruction clarity (good).
  - Tool/resource definitions use about 2968 tokens (~76/item across 39 items; 37 tools + 2 resources), lean.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 0/100
  - Stability not yet verified: not enough scan history yet (needs a 30-day window).
- **Tool Coverage**: 67/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 0% of tool parameters carry a description.
- **Tool Safety**: 100/100
  - No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.
  - We read all 37 captured tool definition(s), and no name or description among them implies an irreversible operation.
  - An AI judge read all 39 captured unit(s) of tool text and found none that tries to manipulate the model reading it.
- **Capabilities**: 100/100
  - Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.

**Unverified: 2 categories.** Categories scored 0 because we could not verify them: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.

## Install

### How do I install the Hatun MCP - Governed Agent Gateway server?

Hatun MCP - Governed Agent Gateway runs locally as a container image, launched with docker run --rm -i -e HATUN_MCP_DISABLE_DYNAMIC -e HATUN_MCP_SIGNING_KEY ghcr.io/szl-holdings/hatun-mcp:1.0.1. Ready-made configuration for Claude, Cursor, VS Code, Codex and 3 more is on this page, copied from each client's own documentation.

### Claude

```bash
claude mcp add szl-holdings-hatun-mcp -- docker run --rm -i -e HATUN_MCP_DISABLE_DYNAMIC -e HATUN_MCP_SIGNING_KEY ghcr.io/szl-holdings/hatun-mcp:1.0.1
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### Cursor

```json
{
  "mcpServers": {
    "szl-holdings-hatun-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "-e",
        "HATUN_MCP_DISABLE_DYNAMIC",
        "-e",
        "HATUN_MCP_SIGNING_KEY",
        "ghcr.io/szl-holdings/hatun-mcp:1.0.1"
      ]
    }
  }
}
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### VS Code

```json
{
  "servers": {
    "szl-holdings-hatun-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "-e",
        "HATUN_MCP_DISABLE_DYNAMIC",
        "-e",
        "HATUN_MCP_SIGNING_KEY",
        "ghcr.io/szl-holdings/hatun-mcp:1.0.1"
      ]
    }
  }
}
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### Codex

```bash
codex mcp add szl-holdings-hatun-mcp -- docker run --rm -i -e HATUN_MCP_DISABLE_DYNAMIC -e HATUN_MCP_SIGNING_KEY ghcr.io/szl-holdings/hatun-mcp:1.0.1
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "szl-holdings-hatun-mcp": {
      "type": "local",
      "command": [
        "docker",
        "run",
        "--rm",
        "-i",
        "-e",
        "HATUN_MCP_DISABLE_DYNAMIC",
        "-e",
        "HATUN_MCP_SIGNING_KEY",
        "ghcr.io/szl-holdings/hatun-mcp:1.0.1"
      ],
      "enabled": true
    }
  }
}
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### Hermes

```yaml
mcp_servers:
  szl-holdings-hatun-mcp:
    command: "docker"
    args: ["run", "--rm", "-i", "-e", "HATUN_MCP_DISABLE_DYNAMIC", "-e", "HATUN_MCP_SIGNING_KEY", "ghcr.io/szl-holdings/hatun-mcp:1.0.1"]
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### Netclaw

```json
{
  "McpServers": {
    "szl-holdings-hatun-mcp": {
      "Transport": "stdio",
      "Command": "docker",
      "Arguments": [
        "run",
        "--rm",
        "-i",
        "-e",
        "HATUN_MCP_DISABLE_DYNAMIC",
        "-e",
        "HATUN_MCP_SIGNING_KEY",
        "ghcr.io/szl-holdings/hatun-mcp:1.0.1"
      ]
    }
  }
}
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

### Other

```json
{
  "mcpServers": {
    "szl-holdings-hatun-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "-e",
        "HATUN_MCP_DISABLE_DYNAMIC",
        "-e",
        "HATUN_MCP_SIGNING_KEY",
        "ghcr.io/szl-holdings/hatun-mcp:1.0.1"
      ]
    }
  }
}
```

This image reads HATUN_MCP_DISABLE_DYNAMIC and HATUN_MCP_SIGNING_KEY. Set them in your client's env block for this server; docker run -e passes each one through to the container.

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-10-01 (score 50)

First indexed and scored.

## MCP tools (37)

### `szl_a11oy_code_chat` (~76 tokens)

Chat with a11oy.code — the unified open-LLM router (7-tier, GREEN-first).
Calls a11oy POST /v1/router. messages = OpenAI-style [{role, content}, ...].

Input parameters:

- `messages` (array, required)
- `model`
- `narrative_axes` (boolean)

### `szl_killinchu_detect` (~61 tokens)

Detect/identify a drone or track from RF signature, Remote-ID, or ADS-B.
Calls killinchu POST /counter-uas/identify.

Input parameters:

- `adsb`
- `remote_id_data`
- `rf_signature`

### `szl_killinchu_cue` (~80 tokens)

Generate a signed Ballistic-of-Effect (BoE) target cue package. STATE-CHANGING:
requires a 2-person Yuyay gate (provide X-Second-Approver). Calls killinchu POST /v1/cue.

Input parameters:

- `asset_value_polygon` (object, required)
- `track` (object, required)

### `szl_immune_scan` (~108 tokens)

a11oy Immune (Hukulla) inline screen — screen code, an SBOM, or a container
image for threat signatures. Calls the live a11oy immune organ
POST /api/a11oy/v1/immune/verdict (the screen IS the signed verdict route).

(Renamed 2026-06-16 from the retired codename tool; see DEPRECATED.md.)

Input parameters:

- `code`
- `image`
- `sbom`

### `szl_companion_reason` (~94 tokens)

Ask the a11oy companion to reason over a question + context. Calls the live
a11oy companion organ POST /api/a11oy/v1/companion/ask (answers only from live
platform data; refuses to fabricate).

(Renamed 2026-06-16 from the retired codename tool; see DEPRECATED.md.)

Input parameters:

- `context`
- `question` (string, required)

### `szl_a11oy_sentinel_scan` (~88 tokens)

a11oy Sentinel inline immune screen — a11oy-named twin of szl_immune_scan.
Screen code, an SBOM, or a container image for threat signatures. Calls the
live a11oy immune organ POST /api/a11oy/v1/immune/verdict.

Input parameters:

- `code`
- `image`
- `sbom`

### `szl_a11oy_operator_reason` (~75 tokens)

a11oy Operator reasoning — a11oy-named twin of szl_companion_reason. Reason
over a question + context. Calls the live a11oy companion organ
POST /api/a11oy/v1/companion/ask.

Input parameters:

- `context`
- `question` (string, required)

### `szl_github_estate_snapshot` (~116 tokens)

Observe the fixed public szl-holdings GitHub estate with bounded GETs.

Returns structural repository and open-PR/check evidence plus a canonical
SHA-256 digest.  It never accepts a URL, organization, token, cursor or
mutation.  Private repositories, default-branch head SHAs, deployments,
model training and runtime health are explicitly outside this v1 scope.
Missing pages, rate limits or malformed evidence produce INCOMPLETE or
UNAVAILABLE. Signing availability is reported separately by the envelope.

### `szl_khipu_verify` (~65 tokens)

Verify a Khipu receipt hash (+ optional merkle proof) on a flagship.
Calls <flagship> POST /khipu/verify.

Input parameters:

- `flagship` (string)
- `merkle_proof`
- `receipt_hash` (string, required)

### `szl_lean_verify` (~41 tokens)

Verify a Lean theorem against the live lutar-lean kernel.
Calls lean-kernel POST /lean-verify.

Input parameters:

- `theorem_name` (string, required)

### `szl_puriq_evaluate` (~77 tokens)

Compute the PURIQ master operator P(x,t) for an action + return the factor
breakdown (Λ, Yuyay-13, HUKLLA, Khipu, Hatun_MCP). Also queries a11oy policy.

Input parameters:

- `action` (object, required)
- `context` (object, required)

### `szl_yachay_dome_predict` (~56 tokens)

Yachay-Dome impact prediction for a track over a horizon.
Calls killinchu POST /v1/predict-impact.

Input parameters:

- `horizon_seconds` (integer)
- `track_id` (string, required)

### `szl_wayra_recent` (~59 tokens)

Recent WAYRA ingestions. WAYRA agent is not yet deployed — returns an honest
'not yet deployed' payload (disclosed in the receipt, never faked).

Input parameters:

- `source`
- `top_k` (integer)

### `szl_anatomy_3d_render` (~51 tokens)

Return a URL to a Three.js scene snapshot of an organ in the SZL 3D anatomy.

Input parameters:

- `animation_state` (string)
- `organ` (string, required)

### `szl_doctrine_lookup` (~51 tokens)

Semantic lookup across SZL Doctrine v11/v12/v13 + thesis v20.
Routed via the a11oy companion grounded-RAG over the doctrine corpus.

Input parameters:

- `query` (string, required)

### `szl_yuyay_score` (~37 tokens)

Return the 13-axis Yuyay breakdown of any content (the heart's scoring).

Input parameters:

- `content` (string, required)

### `szl_thesis_query` (~43 tokens)

RAG query against the thesis-corpus-v18 HF dataset. Calls the a11oy
companion grounded-RAG.

Input parameters:

- `question` (string, required)

### `szl_drone_lookup` (~45 tokens)

Return the canonical drone DB entry from the killinchu drone database.
Calls killinchu GET /v1/drones.

Input parameters:

- `model_or_signature` (string, required)

### `szl_formula_evaluate` (~82 tokens)

Evaluate a named doctrine formula primitive (real closed-form arithmetic).
Known: 'puriq' (master operator P(x,t)), 'kl_divergence', 'sigmoid', 'liu_hui_pi'.
Unknown names are forwarded to the live lutar-lean kernel /formula-eval route.

Input parameters:

- `args`
- `name` (string, required)

### `yuyay_gate_check` (~95 tokens)

Run the 13-axis Yuyay gate over `input` (input-as-data defense).

Returns the per-axis verdicts, the Lambda contribution (0/1 conjunctive AND),
and a Khipu receipt. axes_to_run optionally restricts which axes are reported
(the gate itself always evaluates all 13; this only filters the report).

Input parameters:

- `axes_to_run`
- `input` (string, required)

### `khipu_append_and_verify` (~76 tokens)

Append one Khipu link carrying `payload` and recompute-verify the chain.

parent_hash is advisory (the live chain links to its own last hash); when
supplied and it does not match the live tip, we disclose the mismatch.

Input parameters:

- `parent_hash`
- `payload` (object, required)

### `dsse_sign` (~116 tokens)

Sign `payload` with a real ECDSA P-256 DSSE envelope.

Uses the server's live signer (loaded from HATUN_MCP_SIGNING_KEY). When no key
is present in this process, returns honesty='UNSIGNED' with an empty
signatures[] (disclosed, never faked). key_env_var documents which env var the
Cosign Bootstrap squad will populate (SZL_COSIGN_PRIVATE_PEM).

Input parameters:

- `key_env_var` (string)
- `payload` (object, required)

### `mesh_quorum_status` (~113 tokens)

Byzantine n>=3f+1 mesh-quorum status over the named organs.

Returns n, f, threshold (=2f+1), the input presence set, and the arithmetic
quorum boolean. `present` is caller-declared data, not a live cluster probe;
live_polled and operational_quorum therefore fail closed. Traces to
lutar-lean KhipuConsensus.lean::khipu_consensus_safety.

Input parameters:

- `organ_ids` (array, required)
- `present`

### `puriq_master_tool` (~98 tokens)

THE named PURIQ entrypoint over MCP.

PURIQ(input, context) -> (Lambda in [0,1], DSSE-signed Khipu receipt,
traceparent chain, 13-axis breakdown). Composes Yuyay-13 -> quorum -> HUKLLA
\-> Khipu append -> DSSE-sign using the server's LIVE chain + signer.

Input parameters:

- `context`
- `input` (string, required)

### `governance_pacbayes_bound` (~73 tokens)

Compute the published PAC-Bayes governance-ensemble bound (F7).

REAL closed-form; inputs caller-supplied. Emits a Khipu receipt.

Input parameters:

- `delta` (number)
- `emp_risk` (number, required)
- `kl` (number, required)
- `n` (integer, required)

### `szl_lambda_quorum` (~354 tokens)

Governance-critical Λ verdict under a Byzantine n>=3f+1 quorum (n=5, f=1).

Fans the action out to the five SZL organs' policy/verdict routes, collects each
organ's verdict, and decides only if >= 2f+1 (=3) reachable organs AGREE and
\>= 3f+1 (=4) organs are reachable. Each organ's contribution mints a Khipu
receipt; the participating receipts are BLS-aggregated into one signature. The
full quorum tally + aggregate ride in `governance.quorum`. HONEST: each organ's
reachability is captured from the real HTTP status; any organ whose policy route
is not live contributes an honest miss and the degradation is disclosed.

OUROBOROS LOOP (in-code, receipt-closed). The organ fan-out — the repo's actual
multi-step orchestration path — runs inside `hatun_mcp.loop.run_bounded_loop`: a
HARD step budget (env `HATUN_MCP_LOOP_MAX_STEPS`, safe default 12), per-step
trace entries, and an HONEST exit reason (`converged` | `budget_exhausted` |
\`error`, never fabricate convergence). The trace rides in `governance.loop` and in the
top-level Khipu receipt detail. Default behavior is unchanged: the default
5-organ set is well under the budget, so it always exits `converged`. Doctrine:
"bounded, terminating, receipt-closed" (Λ = Conjecture 1, never a theorem).

Input parameters:

- `action` (object, required)
- `context`
- `organs`

### `a11oy_status` (~69 tokens)

[a11oy] HONEST status. This organ is currently UNREACHABLE (organ unreachable: [Errno -3] Temporary failure in name resolution); it exposes zero live MCP tools. Call this tool to see why and when it will self-heal.

Input parameters:

- `noop`

### `llm_tiers` (~61 tokens)

[llm] List the a11oy open-LLM router tiers (id, rank, use, why) — the live GREEN-first model catalog.. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

### `immune_status` (~65 tokens)

[immune] HONEST status. This organ is currently UNREACHABLE (immune unreachable: [Errno -3] Temporary failure in name resolution); it exposes zero live MCP tools. Call this tool to see why and when it will self-heal.

Input parameters:

- `noop`

### `killinchu_status` (~69 tokens)

[killinchu] HONEST status. This organ is currently UNREACHABLE (organ unreachable: [Errno -3] Temporary failure in name resolution); it exposes zero live MCP tools. Call this tool to see why and when it will self-heal.

Input parameters:

- `noop`

### `companion_ask` (~61 tokens)

[companion] Ask the a11oy companion to reason over a question — answers ONLY from live platform data and refuses to fabricate (discloses grounded=false).. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

### `companion_act` (~51 tokens)

[companion] Request an operator action from the a11oy companion.. Live organ tool aggregated by Hatun-MCP under PURIQ governance. · governance-critical: routed through Byzantine quorum.

Input parameters:

- `arguments`

### `companion_recommend` (~43 tokens)

[companion] Consolidated platform recommendations from the a11oy companion.. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

### `second_brain_retrieve_handles` (~48 tokens)

[second_brain] Return only handles present in the query. Never hydrate content.. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

### `second_brain_refuse_invented` (~46 tokens)

[second_brain] Refuse invented identifiers. Controller-local.. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

### `anatomy_observe` (~44 tokens)

[anatomy] Accept a sanitized observation event. Cannot change the decision.. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

### `anatomy_organs` (~42 tokens)

[anatomy] List the five anatomy organs. Status only.. Live organ tool aggregated by Hatun-MCP under PURIQ governance.

Input parameters:

- `arguments`

## Diagnostics

Captured diagnostic sections: Provenance. The full working is on the page: https://verifymcp.io/servers/szl-holdings-hatun-mcp/ghcr-io-szl-holdings-hatun-mcp#diagnostics

## Score history

- 2026-10-01: 50

## Common questions

### What is the Hatun MCP - Governed Agent Gateway server?

Hatun MCP - Governed Agent Gateway is listed in the public MCP registry as io.github.szl-holdings/hatun-mcp. Governed MCP gateway: policy gate on every tool call, hash-chained DSSE receipt on every result. This page covers its container image (ghcr.io/szl-holdings/hatun-mcp).

### Is the Hatun MCP - Governed Agent Gateway server safe to use?

Hatun MCP - Governed Agent Gateway scores 50 out of 100 on VerifyMCP. Its build provenance is signed and verified. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

### What tools does the Hatun MCP - Governed Agent Gateway server expose?

Hatun MCP - Governed Agent Gateway exposes 37 tools: szl_a11oy_code_chat, szl_killinchu_detect, szl_killinchu_cue, szl_immune_scan, szl_companion_reason, and 32 more. Their descriptions and schemas cost roughly 2,829 tokens of context every time the server is loaded.

### Is the Hatun MCP - Governed Agent Gateway server still maintained?

Hatun MCP - Governed Agent Gateway is still listed as active in the MCP registry. We last reached this channel on 1 October 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

### What licence is the Hatun MCP - Governed Agent Gateway server under?

Hatun MCP - Governed Agent Gateway declares the Apache-2.0 licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.

## Links

- GitHub Container Registry: https://ghcr.io/szl-holdings/hatun-mcp
- Repository: https://github.com/szl-holdings/hatun-mcp
- Website: https://a-11-oy.com/wires
- Changelog RSS feed: https://verifymcp.io/servers/szl-holdings-hatun-mcp/ghcr-io-szl-holdings-hatun-mcp.xml
- Changelog JSON feed: https://verifymcp.io/servers/szl-holdings-hatun-mcp/ghcr-io-szl-holdings-hatun-mcp.json
- HTML version of this page: https://verifymcp.io/servers/szl-holdings-hatun-mcp/ghcr-io-szl-holdings-hatun-mcp