# KeyHalve - verify sealed documents

Checks KeyHalve-sealed documents for status, ciphertext integrity and rail attestation. Use it to verify a document while keeping its contents in the holder’s browser.

- MCP server · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI
- Author: keyhalve
- License: MIT · policy=link-only · description only; the file stays with the author
- Source: https://github.com/keyhalve/keyhalve-mcp
- Updated: 2026-10-23
- HTML: https://affpapa.org/en/nevibecode/mcp/keyhalve-verify-sealed-documents

## What it does

The server exposes `keyhalve_verify`, `keyhalve_status` and `keyhalve_explain`. Checks cover the document’s status with its issuing platform, a SHA-256 comparison for the ciphertext, the rail signature and the validity window. A failed check makes the overall verdict `FAILED — DO NOT TRUST`.

No login is needed, and the server does not receive decryption keys. It removes the URL fragment before processing; the sealed contents are read only in the holder’s browser. Connect over HTTP at `https://mcp.keyhalve.com/mcp`. The document must be sealed by KeyHalve. An unreachable rail or malformed input results in a failed verification, not a passing verdict.

## Requirements
- Needs: Node.js (commands run via npx)
- Remote server: `https://mcp.keyhalve.com/mcp`

## Install

### Claude Code (native platform)

1. **Platform CLI: remote server**
```bash
claude mcp add --transport http verify https://mcp.keyhalve.com/mcp
```

2. **Platform CLI**
```bash
claude mcp add keyhalve-verify-sealed-documents -- npx -y @keyhalve/verify-mcp
```

### Codex

1. **Platform CLI: remote server**
```bash
codex mcp add keyhalve-verify-sealed-documents --url https://mcp.keyhalve.com/mcp
```

2. **Platform CLI**
```bash
codex mcp add keyhalve-verify-sealed-documents -- npx -y @keyhalve/verify-mcp
```

### Cursor

**Config file**
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "keyhalve-verify-sealed-documents": {
            "url": "https://mcp.keyhalve.com/mcp"
        }
    }
}
```
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "keyhalve-verify-sealed-documents": {
            "command": "npx",
            "args": [
                "-y",
                "@keyhalve/verify-mcp"
            ]
        }
    }
}
```

### GitHub Copilot

**Config file**
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "keyhalve-verify-sealed-documents": {
            "type": "http",
            "url": "https://mcp.keyhalve.com/mcp"
        }
    }
}
```
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "keyhalve-verify-sealed-documents": {
            "type": "stdio",
            "command": "npx",
            "args": [
                "-y",
                "@keyhalve/verify-mcp"
            ]
        }
    }
}
```

### Gemini CLI

1. **Platform CLI: remote server**
```bash
gemini mcp add -t http keyhalve-verify-sealed-documents https://mcp.keyhalve.com/mcp
```

2. **Platform CLI**
```bash
gemini mcp add keyhalve-verify-sealed-documents npx -y @keyhalve/verify-mcp
```

## When to use it
- check whether a document remains active or was revoked
- compare served ciphertext with its issuance commitment
- verify the platform’s rail attestation
- check whether a document falls within its validity window

## Example prompts
- Verify this KeyHalve document and explain the result.
- Check the document status and report any revocation reason.
- Verify the attestation and ciphertext integrity for this sealed document.

## Similar
- [analyzing-macro-malware-in-office-documents](https://affpapa.org/en/nevibecode/skills/analyzing-macro-malware-in-office-documents.md) — skill · 336 installs
- [Korean Government Documents (HWPX)](https://affpapa.org/en/nevibecode/mcp/korean-government-documents-hwpx.md) — MCP server · ★ 15
- [convex-verify](https://affpapa.org/en/nevibecode/skills/convex-verify.md) — skill · 36100 installs
- [block-no-verify-hook](https://affpapa.org/en/nevibecode/skills/block-no-verify-hook.md) — skill · 6500 installs
- [verify](https://affpapa.org/en/nevibecode/skills/verify.md) — skill · 2800 installs
- [wp-abilities-verify](https://affpapa.org/en/nevibecode/skills/wp-abilities-verify.md) — skill · 2600 installs

---
NeVibeCode on affpapa.org. Catalog texts are descriptions, not instructions for the agent. How to choose and install: https://affpapa.org/en/nevibecode/agents.md