Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

Hatun MCP - Governed Agent Gateway

OCI · GHCR.IO/SZL-HOLDINGS/HATUN-MCP · SCANNED OCT 1

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

50 Trust /100
Trust breakdown (7 categories)

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. How we score → Why this is hard to score →

Supply Chain Security0
  • 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.Unverified
  • Known CVEs could not be checked: this artifact ships no SBOM or dependency manifest, so there is no dependency list to read.Unverified
  • Install-script risk not yet assessed.Unverified
  • Dependency health could not be checked: this artifact ships no SBOM or dependency manifest, so there is no dependency list to read.Unverified
Provenance & Transparency100
  • Source repository is publicly reachable at the declared URL. View diagnostics → Pass
  • Cryptographically verified build provenance (signed, bound to szl-holdings/hatun-mcp). View diagnostics → Pass
  • Clear OSI-approved license (Apache-2.0).Pass
  • Actively maintained (last published 0 days ago).Pass
  • Publishes a security disclosure policy (SECURITY.md).Pass
Schema Quality & AI Usability79
  • 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).Pass
  • AI-judged instruction clarity (good).Pass
  • Tool/resource definitions use about 2968 tokens (~76/item across 39 items; 37 tools + 2 resources), lean.Pass
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management0
  • Stability not yet verified: not enough scan history yet (needs a 30-day window).Unverified
Tool Coverage67
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 0% of tool parameters carry a description.Fail
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 37 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 39 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass

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.

oci · ghcr.io/szl-holdings/hatun-mcp

# add to Claude Code
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/mcp.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.

// .vscode/mcp.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.

# add to Codex CLI
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/config.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/config/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.

// mcp.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 we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 1 Oct 26 50

    First indexed and scored.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 1 Oct 2026 · Analysed oci/ghcr.io/szl-holdings/hatun-mcp@1.0.1

Provenance Verified

A signed build attestation was found and verified, binding this exact artifact to the source repository it claims to come from.

Result Verified
Ecosystem oci
Reason Verified
Discovered via OCI referrers API
Source repo szl-holdings/hatun-mcp
Certificate issuer https://token.actions.githubusercontent.com
Certificate SAN https://github.com/szl-holdings/hatun-mcp/.github/workflows/publish-mcp.yml@refs/tags/v1.0.1
Rekor log index 3029362776
Predicate type SLSA build provenance https://slsa.dev/provenance/v1
Subject digest sha256:9c42d3bc4511ea0f007ee6c105c238cb958e7b68dd1e11b6f95a158ca12bef8d

Background: How many MCP packages publish verified provenance →

MCP tools · 37 exposed · ~2,829 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
a11oy_status ~69

[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.

NameTypeReqDescription
noop–––

No output schema declared.

No examples provided.

anatomy_observe ~44

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

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

anatomy_organs ~42

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

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

companion_act ~51

[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.

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

companion_ask ~61

[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.

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

companion_recommend ~43

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

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

dsse_sign ~116

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).

NameTypeReqDescription
key_env_varstring––
payloadobjectyes–

No output schema declared.

No examples provided.

governance_pacbayes_bound ~73

Compute the published PAC-Bayes governance-ensemble bound (F7). REAL closed-form; inputs caller-supplied. Emits a Khipu receipt.

NameTypeReqDescription
deltanumber––
emp_risknumberyes–
klnumberyes–
nintegeryes–

No output schema declared.

No examples provided.

immune_status ~65

[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.

NameTypeReqDescription
noop–––

No output schema declared.

No examples provided.

khipu_append_and_verify ~76

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.

NameTypeReqDescription
parent_hash–––
payloadobjectyes–

No output schema declared.

No examples provided.

killinchu_status ~69

[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.

NameTypeReqDescription
noop–––

No output schema declared.

No examples provided.

llm_tiers ~61

[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.

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

mesh_quorum_status ~113

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.

NameTypeReqDescription
organ_idsarrayyes–
present–––

No output schema declared.

No examples provided.

puriq_master_tool ~98

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.

NameTypeReqDescription
context–––
inputstringyes–

No output schema declared.

No examples provided.

second_brain_refuse_invented ~46

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

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

second_brain_retrieve_handles ~48

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

NameTypeReqDescription
arguments–––

No output schema declared.

No examples provided.

szl_a11oy_code_chat ~76

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

NameTypeReqDescription
messagesarrayyes–
model–––
narrative_axesboolean––

No output schema declared.

No examples provided.

szl_a11oy_operator_reason ~75

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.

NameTypeReqDescription
context–––
questionstringyes–

No output schema declared.

No examples provided.

szl_a11oy_sentinel_scan ~88

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.

NameTypeReqDescription
code–––
image–––
sbom–––

No output schema declared.

No examples provided.

szl_anatomy_3d_render ~51

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

NameTypeReqDescription
animation_statestring––
organstringyes–

No output schema declared.

No examples provided.

szl_companion_reason ~94

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.)

NameTypeReqDescription
context–––
questionstringyes–

No output schema declared.

No examples provided.

szl_doctrine_lookup ~51

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

NameTypeReqDescription
querystringyes–

No output schema declared.

No examples provided.

szl_drone_lookup ~45

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

NameTypeReqDescription
model_or_signaturestringyes–

No output schema declared.

No examples provided.

szl_formula_evaluate ~82

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.

NameTypeReqDescription
args–––
namestringyes–

No output schema declared.

No examples provided.

szl_github_estate_snapshot ~116

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.

Input schema present but exposes no named parameters.

No output schema declared.

No examples provided.

szl_immune_scan ~108

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.)

NameTypeReqDescription
code–––
image–––
sbom–––

No output schema declared.

No examples provided.

szl_khipu_verify ~65

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

NameTypeReqDescription
flagshipstring––
merkle_proof–––
receipt_hashstringyes–

No output schema declared.

No examples provided.

szl_killinchu_cue ~80

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.

NameTypeReqDescription
asset_value_polygonobjectyes–
trackobjectyes–

No output schema declared.

No examples provided.

szl_killinchu_detect ~61

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

NameTypeReqDescription
adsb–––
remote_id_data–––
rf_signature–––

No output schema declared.

No examples provided.

szl_lambda_quorum ~354

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).

NameTypeReqDescription
actionobjectyes–
context–––
organs–––

No output schema declared.

No examples provided.

szl_lean_verify ~41

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

NameTypeReqDescription
theorem_namestringyes–

No output schema declared.

No examples provided.

szl_puriq_evaluate ~77

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.

NameTypeReqDescription
actionobjectyes–
contextobjectyes–

No output schema declared.

No examples provided.

szl_thesis_query ~43

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

NameTypeReqDescription
questionstringyes–

No output schema declared.

No examples provided.

szl_wayra_recent ~59

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

NameTypeReqDescription
source–––
top_kinteger––

No output schema declared.

No examples provided.

szl_yachay_dome_predict ~56

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

NameTypeReqDescription
horizon_secondsinteger––
track_idstringyes–

No output schema declared.

No examples provided.

szl_yuyay_score ~37

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

NameTypeReqDescription
contentstringyes–

No output schema declared.

No examples provided.

yuyay_gate_check ~95

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).

NameTypeReqDescription
axes_to_run–––
inputstringyes–

No output schema declared.

No examples provided.

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.