HAI-MCP
PYPI · HAI-MCP
Model-agnostic MCP control plane for HAI: bounded missions, owner-gated actions, drift checks.
Available components
Last scanned (21 hours ago)
Scores higher than 66% of PyPI servers
Category Project Management
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 Security100
- No malware found by supply-chain analysis.Pass
- No known CVEs affecting this package version or its production dependencies.Pass
- Runs hatchling.build at install time, a recognised build step with no custom scripting around it. View diagnostics → Pass
- 0 of 28 dependencies flagged as unhealthy. View diagnostics → Pass
Provenance & Transparency32
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Provenance check failed: no build-provenance attestation is published. See how to fix → View diagnostics → Fail
- Licence could not be checked: the licence is shipped as a file inside the package, not declared as a standard (SPDX) licence identifier, so we cannot tell whether it is OSI-approved.Unverified
- Actively maintained (last published 21 days ago).Pass
- Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability53
- AI-judged instruction clarity (fair).Partial
- Tool/resource definitions use about 1535 tokens (~63/item across 24 items; 24 tools + 0 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management70
- Stability observed for 21 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage71
- 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
- Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- We read all 24 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
- An AI judge read all 24 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
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.
- 3 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 63 to 67. That category is still filling its 30-day observation window: 19 days of observed history at the previous scan, 20 at this one. The score rises as the window fills, whether or not the server changes.
- 31 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 53 to 57. That category is still filling its 30-day observation window: 16 days of observed history at the previous scan, 17 at this one. The score rises as the window fills, whether or not the server changes.
- 29 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 47 to 50. That category is still filling its 30-day observation window: 14 days of observed history at the previous scan, 15 at this one. The score rises as the window fills, whether or not the server changes.
- 28 Oct 26 +15
- Malware scan: unverified → pass ▲ security
- 27 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 40 to 43. That category is still filling its 30-day observation window: 12 days of observed history at the previous scan, 13 at this one. The score rises as the window fills, whether or not the server changes.
- 26 Oct 26 −15
- Malware scan: pass → unverified ▼ security
- 25 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 33 to 37. That category is still filling its 30-day observation window: 10 days of observed history at the previous scan, 11 at this one. The score rises as the window fills, whether or not the server changes.
- 23 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 27 to 30. That category is still filling its 30-day observation window: 8 days of observed history at the previous scan, 9 at this one. The score rises as the window fills, whether or not the server changes.
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 4 Nov 2026 · Analysed pypi/hai-mcp@0.1.0
Provenance No attestation
The registry publishes no build provenance for this version, so there is nothing to verify.
| Result | No attestation |
|---|---|
| Ecosystem | pypi |
| Reason | No attestation published |
Background: How many MCP packages publish verified provenance →
Install scripts 1 script
| Hook | Tier | Command |
|---|---|---|
| build_backend | allowlisted | hatchling.build |
Background: Why install scripts are a supply-chain risk →
Dependencies 28 packages
| Packages resolved | 28 |
|---|---|
| Tree resolution | Complete |
Background: SBOMs and build attestations, explained →
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 →
hai_accept_next_step ~126
Promote proposed (or provided) content to canonical NEXT_STEP.md — owner-gated. Default gate (nonce): call once WITHOUT owner_code; a one-time code is delivered to the owner (never to this client). Ask the owner for it and call again with owner_code=<code>. The code is bound to the exact content and is single-use. Legacy gate (ack_legacy): owner_ack=true + reason.
| Name | Type | Req | Description |
|---|---|---|---|
| content | – | – | – |
| owner_ack | boolean | – | – |
| owner_code | – | – | – |
| project_path | string | yes | – |
| reason | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_authorize_session ~105
Grant a time-bounded session lease tied to mission ID and exact contract version.
| Name | Type | Req | Description |
|---|---|---|---|
| agent_identity | string | yes | – |
| capabilities | – | – | – |
| contract_version | integer | yes | – |
| contribution | string | yes | – |
| criterion_ids | array | yes | – |
| device_id | – | – | – |
| duration_minutes | integer | yes | – |
| expected_result | string | yes | – |
| harness_id | – | – | – |
| mission_id | string | yes | – |
| role | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_bind_project ~69
Bind a device-local directory to a logical project_id mount table entry. Requires owner_ack=true + reason.
| Name | Type | Req | Description |
|---|---|---|---|
| device_id | string | yes | – |
| local_path | string | yes | – |
| owner_ack | boolean | yes | – |
| project_id | string | yes | – |
| reason | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_check_activity ~76
Deterministically classify planned or observed activity against the mission contract.
| Name | Type | Req | Description |
|---|---|---|---|
| activity_kind | – | – | – |
| activity_step | string | yes | – |
| affected_paths | – | – | – |
| criterion_id | – | – | – |
| declares_blocker | boolean | – | – |
| evidence | – | – | – |
| session_id | string | yes | – |
| trace_events | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_checkpoint ~34
Snapshot ACTIVE_CONTEXT and optional project artifacts under HAI_HOME/history/checkpoints.
| Name | Type | Req | Description |
|---|---|---|---|
| note | – | – | – |
| project_path | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_close_mission ~108
Complete with verified per-criterion evidence, or abandon (owner-gated). Abandon: first call delivers a one-time code to the owner; call again with owner_code. Legacy gate: owner_ack=true.
| Name | Type | Req | Description |
|---|---|---|---|
| closure | string | yes | – |
| contract_version | integer | yes | – |
| device_id | – | – | – |
| evidence | – | – | – |
| mission_id | string | yes | – |
| outcome_summary | string | yes | – |
| owner_ack | boolean | – | – |
| owner_code | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_distill ~57
Reduce an intake to EXACTLY one decision + one next step; the server parks everything else.
| Name | Type | Req | Description |
|---|---|---|---|
| decision | string | yes | – |
| intake_id | string | yes | – |
| next_step | string | yes | – |
| parklist | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_drift_check ~79
Lightweight mismatch check against the mission contract. Thin wrapper over hai_check_activity.
| Name | Type | Req | Description |
|---|---|---|---|
| activity_kind | – | – | – |
| activity_step | string | yes | – |
| affected_paths | – | – | – |
| criterion_id | – | – | – |
| declares_blocker | boolean | – | – |
| evidence | – | – | – |
| session_id | string | yes | – |
| trace_events | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_get_contract ~33
Return the exact canonical mission contract for a valid session lease (not a summary).
| Name | Type | Req | Description |
|---|---|---|---|
| session_id | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_get_next_step ~32
Read the canonical NEXT_STEP.md for a project (or report none).
| Name | Type | Req | Description |
|---|---|---|---|
| project_path | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_health ~31
Check HAI-MCP server health and optional project path usability. No model calls.
| Name | Type | Req | Description |
|---|---|---|---|
| project_path | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_intake ~38
Capture a raw thought immutably. Returns an intake id only — never actionable, never starts an agent.
| Name | Type | Req | Description |
|---|---|---|---|
| raw | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_mission_start ~84
Fast start: declare problem + artifact + time limit. Thin wrapper over hai_open_mission (one canonical contract).
| Name | Type | Req | Description |
|---|---|---|---|
| artifact | string | yes | – |
| constraints | – | – | – |
| done_criteria | array | yes | – |
| non_goals | – | – | – |
| owner | string | yes | – |
| problem | string | yes | – |
| time_limit_hours | number | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_open_mission ~68
Open a bounded mission with a versioned canonical contract. One active mission globally.
| Name | Type | Req | Description |
|---|---|---|---|
| artifact | string | yes | – |
| constraints | – | – | – |
| done_criteria | array | yes | – |
| non_goals | – | – | – |
| objective | string | yes | – |
| owner | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_park ~35
Park a thought/meta item in HAI inbox without changing ACTIVE lanes.
| Name | Type | Req | Description |
|---|---|---|---|
| tags | – | – | – |
| text | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_park_item ~66
Park a mission-linked idea with full context. Grants no execution right; contract unchanged.
| Name | Type | Req | Description |
|---|---|---|---|
| idea | string | yes | – |
| mission_id | string | yes | – |
| origin_session_id | string | yes | – |
| rationale | string | yes | – |
| trigger_event | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_proof ~67
Close a mission only against verified per-criterion evidence. Thin wrapper over hai_close_mission (completed).
| Name | Type | Req | Description |
|---|---|---|---|
| contract_version | integer | yes | – |
| device_id | – | – | – |
| evidence | object | yes | – |
| mission_id | string | yes | – |
| outcome_summary | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_propose_next_step ~43
Write NEXT_STEP.proposed.md (not canonical). Promote via hai_accept_next_step.
| Name | Type | Req | Description |
|---|---|---|---|
| content | string | yes | – |
| project_path | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_read_artifacts ~39
Read-only summary of HAI Projek-Managment run-contract artifacts.
| Name | Type | Req | Description |
|---|---|---|---|
| max_chars | integer | – | – |
| project_path | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_recontract ~125
Apply a visible field-level contract diff; revokes all leases. Owner-gated. First call (no owner_code) returns the diff and delivers a one-time code to the owner; call again with owner_code=<code from the owner>. Legacy gate: owner_ack=true.
| Name | Type | Req | Description |
|---|---|---|---|
| break_glass_marker | boolean | – | – |
| changes | object | yes | – |
| contract_version | integer | yes | – |
| mission_id | string | yes | – |
| mode | string | – | – |
| owner_ack | boolean | – | – |
| owner_code | – | – | – |
| reason | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_recover ~31
Return the smallest recovery next action from latest or named checkpoint (read-only advice).
| Name | Type | Req | Description |
|---|---|---|---|
| checkpoint_id | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_set_focus ~49
Set focus and register an ACTIVE lane (max 2). Fails if a third ACTIVE is requested.
| Name | Type | Req | Description |
|---|---|---|---|
| focus_id | string | yes | – |
| label | – | – | – |
| project_path | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_status ~30
Return ACTIVE lanes, focus, inbox count, and optional project next-step flags.
| Name | Type | Req | Description |
|---|---|---|---|
| project_path | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
hai_stop ~110
Hard day terminal: record the three answers, invalidate active leases; no next-day plan. Missions are not closed. manual_practice: what the owner did BY HAND today (e.g. "read the auth diff", "ran pytest", "wrote the date regex") — the currency logbook for verification skills.
| Name | Type | Req | Description |
|---|---|---|---|
| agency_gained | string | yes | – |
| clearer | string | yes | – |
| day | string | yes | – |
| loop_closed | boolean | yes | – |
| manual_practice | – | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
How do I install the HAI-MCP server?
HAI-MCP runs locally as a PyPI package, launched with uvx hai-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
pypi · hai-mcp
claude mcp add smlfg-hai-mcp -- uvx hai-mcp
What is the HAI-MCP server?
HAI-MCP is listed in the public MCP registry as io.github.smlfg/hai-mcp. Model-agnostic MCP control plane for HAI: bounded missions, owner-gated actions, drift checks. This page covers its PyPI package (hai-mcp).
Is the HAI-MCP server safe to use?
HAI-MCP scores 71 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 4 November 2026. 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 HAI-MCP server expose?
HAI-MCP exposes 24 tools: hai_health, hai_status, hai_get_next_step, hai_read_artifacts, hai_park, and 19 more. Their descriptions and schemas cost roughly 1,535 tokens of context every time the server is loaded.
Is the HAI-MCP server still maintained?
HAI-MCP is still listed as active in the MCP registry. We last reached this channel on 4 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.