Haldir

io.github.ExposureGuard由 GitHub 帳號 ExposureGuard 發布v0.1.0更新於 Oct 24, 2026

Guardian layer for AI agents: identity, secrets, audit via MCP.

已驗證STDIO僅桌面金融安全與監控

概覽

AI 產生的概覽

Haldir 是給 AI 代理的治理層,透過 MCP 提供工作階段權限、加密機密保管庫、支出上限與可驗證的稽核紀錄。

可以做什麼
建立、查詢與撤銷具權限範圍的代理工作階段,並檢查權限。儲存、列出與取出保管庫中的機密,代理僅在範圍允許下取得。授權付款並查詢支出,依工作階段預算控管。寫入稽核紀錄、查詢稽核軌跡,並驗證雜湊鏈、取得樹頭、包含證明與一致性證明。申請人工核准、查詢核准狀態,產出合規分數與證據包。
適用情境
當你讓 AI 代理呼叫工具、動用金錢或讀取憑證,並需要權限範圍、支出上限、加密保管庫與可驗證的稽核紀錄時適用。也適合需要人工核准與合規證據包的場景。
執行需求
以本機程序執行,需安裝 PyPI 套件 haldir 並具備 Python 環境。MCP 伺服器需設定 HALDIR_API_KEY 環境變數,金鑰由 haldir serve 或 haldir login 產生。自架需本機服務與資料庫,雲端版本需網路連線。
安裝前請注意
需提供 HALDIR_API_KEY 存取憑證,請妥善保管。保管庫存放真實機密(如金流金鑰),一旦範圍設定過寬,代理即可取得。可授權付款與設定支出上限,涉及實際金錢。會寫入稽核紀錄、建立與撤銷工作階段、刪除機密與修剪稽核資料,這些操作會改變資料。自架時需自行設定 HALDIR_ENCRYPTION_KEY 並保護資料庫。

安裝

在 SourceWeft 中

  1. 開啟 儀表板中的 Haldir,將其新增到工作區。
  2. 為需要使用其工具的對話啟用該服務。

Desktop only,透過 STDIO。 STDIO 服務會啟動本機處理程序,因此需要 SourceWeft 桌面主機。

其他 MCP 客戶端

參照 儲存庫 中的啟動說明。

README

Haldir

Scoped permissions, spend caps, an encrypted vault, and an audit log that can prove it wasn't edited — for AI agents that call tools, move money, and read secrets.

[tests] [PyPI] [License: MIT] [GitHub Stars]

[A live Haldir audit log being tampered with: a past entry is rewritten, the inclusion proof stops matching the live Merkle root, and the verdict flips to 'Tamper detected']

That loop is the whole idea, running live. Someone rewrites a row in the audit log — silently, straight in the database. The entry's inclusion proof no longer matches the live Merkle root, and the verdict flips. Not caught by monitoring, not caught by a diff: caught by arithmetic, because the root is a hash of what the log actually contains and the earlier Signed Tree Head is already pinned somewhere you don't control.

→ Try it yourself. Run haldir serve (below) and open http://127.0.0.1:8000/demo — the same tamper demo, against an instance on your own machine. It ships inside the package, so there is nothing to download and no account involved.

What you get

  • Scoped sessions — permissions and spend caps per agent, revocable the moment something looks wrong.
  • Encrypted vault — AES-256-GCM. Your agent asks for a secret; the model never sees it. Every ciphertext records which key made it, so you can rotate the encryption key without re-entering a single secret — and without downtime.
  • Tamper-evident audit — every call logged into an RFC 6962 Merkle tree with signed tree heads, so history can be proven, not just trusted.
  • Human approvals — pause a run on a spend threshold and get a webhook.
bash
pip install haldirhaldir serve

That starts a real Haldir on this machine — SQLite, no Docker, no Postgres, no account. It generates an encryption key, applies the schema, mints an API key, and points the CLI at itself, so the next command just works:

text
$ haldir serve
  Haldir is running  http://127.0.0.1:8000  data: ~/.haldir
  Your API key (saved to the Haldir CLI config):    hld_xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
  Try it:    haldir overview    haldir session create --agent my-agent --scopes read

From there, point anything at it — the CLI, the Python SDK, an MCP client — or read the API reference at /docs on the instance you started. When you want Postgres and containers, haldir init && haldir dev scaffolds and runs that instead; SELF_HOSTING.md covers the rest.

Works with Claude Code, Cursor, LangChain, CrewAI, AutoGen, LlamaIndex and the Vercel AI SDK — anything that can make an HTTP call or speak MCP. MIT licensed: self-host it, or point at haldir.xyz (free tier, no signup).

See it in action

Here's what Haldir actually looks like — no diagrams, no spec sheets, just screenshots of the real thing.

[Without Haldir vs with Haldir: no oversight vs scoped sessions, spend limits, secrets hidden, immutable audit trail]

Without Haldir, an agent calls whatever API it wants, spends whatever it wants, and accesses whatever secret it finds — with zero oversight and zero audit trail. With Haldir, every action is scoped, spend-limited, logged immutably, and secrets never leave the vault.

Here's the three things you'd see as a new visitor, in order:

[Quick tour: landing page, cloud dashboard, audit trail]

  1. Landing page — dark mode, live terminal animation at the top, four product cards (Gate, Vault, Watch, Proxy), a self-host vs cloud comparison, and a call to claim a design partner spot. One page, everything a first-time visitor needs.

  2. Cloud dashboard — this is what you see after signing in. A sidebar on the left takes you to any page — account, quotas, sessions, audit, webhooks, approvals, compliance, or settings. The account view shows your tenant, tier, live counts, and API keys by prefix (the full key is never shown again after it's minted, and revoking one never involves a database shell).

  3. Audit trail — the killer feature. Filter by session, agent, or tool. Click any row to see the full MCP call details: what tool was called, what upstream API it hit, how long it took, what arguments it sent, and what it returned. This is the one thing that makes the whole product click — you can see exactly what every agent did, when, and with what.

Here's the dashboard with the important parts labeled:

[Cloud dashboard with annotations: sidebar, stat cards, sessions table, audit table]

The sidebar on the left takes you anywhere. The numbered markers point at the parts you'll actually use: your tenant and tier, the live counts, and your API keys by prefix — with the revoke button right there, so ending an agent's access never means opening a database shell.

Play with it yourself

All of these ship inside the package and are served by haldir serve, so they work on your machine with no account and nothing to deploy:

→ The tamper demo at /demo/tamper — the one in the GIF above. Rewrite a real log row and watch the inclusion proof stop matching the Merkle root. Nothing is simulated; it is the same Merkle code the API ships.

→ The playground at /demo — four steps walk the happy path (mint a key, open a scoped session, check a permission, write to the audit trail), then three try to break it: spend past the cap, revoke the session mid-flight, and act after revocation. Pick a scope that was never granted in step 03 to see a denial as well as an approval.

→ The gallery at /gallery — every screenshot on this page in one place, if you'd rather look than read.

Want something to run without installing anything? There is a one-file demo binary — no Python, no clone — and a three-probe fixture that ships with the package. Both are in DEMO.md: what to run, what you'll see, and what each probe is built to catch.

The rest of the API

The full reference is at /docs and /openapi.json on whichever instance you are running. Below: the Python quickstart, performance numbers, and compliance mapping.

There is a hosted option at haldir.xyz — free tier, no signup. haldir serve is the path that works today, and the one to reach for if the cloud is not what you want anyway.


Two ways to run

Same product either way.

Self-hostCloud (haldir.xyz)
PriceFree foreverFree tier + paid plans
You runAPI + PostgresNothing
Best forRegulated, air-gapped, "must own data""Just make it work"

The cloud tier is free to start and needs no signup. We're taking 5 design partners — 30 days, full access, direct line to the founder: [email protected].

Self-host in 5 minutes

bash
git clone https://github.com/ExposureGuard/haldir.gitcd haldircp .env.example .envpython3 -c 'import base64, os; print(base64.urlsafe_b64encode(os.urandom(32)).decode())'# paste the output into .env as HALDIR_ENCRYPTION_KEY, then:docker compose up -dcurl http://localhost:8000/healthz

Full self-hosting guide: SELF_HOSTING.md

Cloud (no setup)

bash
pip install haldir

That's it — point at https://haldir.xyz, no signup for the free tier.


CLI

Install once, drive the whole platform from the terminal:

text
$ haldir overview
  Haldir tenant overview  acct_xyz123  ·  tier free  ·  2026-09-30T18:42:11+00:00
  Status     ● ok  API calls    4,217 / 10,000  ████████░░░░░░░░░░░░   42.2%  Spend      $ 47.30 this month  Sessions         3 active  ·  1/1 agents  Vault            8 secrets  ·  62 accesses this month  Audit        1,847 entries  ·  0 flagged (7d)  ·  chain ✓  Webhooks         2 registered  ·  541 deliveries (24h)  ·  99.82% success  Approvals        1 pending
bash
pip install haldirhaldir login                           # one-time; stashes API keyhaldir overview --watch                # top-style live dashboardhaldir status                          # green/yellow/red component pillshaldir ready                           # exits 0/1, perfect for CIhaldir audit trail --agent my-bot      # the last N entrieshaldir audit export --format=jsonl --out audit-2026-04.jsonlhaldir audit verify                    # hash chain integrity checkhaldir webhooks deliveries             # last 20 retry attemptshaldir migrate up                      # apply pending schema migrations

haldir --help lists every command and CLI.md is the full reference — what each one does, the flags it takes, and which commands support --json (not all of them do; the reference says which).


Why Haldir

AI agents are calling APIs, spending money, and accessing credentials with zero oversight. Haldir is the missing layer:

Without HaldirWith Haldir
Agent has unlimited accessScoped sessions with permissions
Secrets in plaintext env varsAES-256-GCM encrypted vault
No spend limitsPer-session budget enforcement
No record of what happenedImmutable, tamper-evident audit
No human oversightApproval workflows with webhooks
Agent talks to tools directlyProxy intercepts + enforces

Everything on the right is one process in front of your tools. Your agent keeps its existing tool calls; Haldir answers first:

[Haldir architecture: Agent → Proxy → (Gate/Vault/Watch/Policy) → Upstream APIs]


Quick Start (Python)

python
from haldir import HaldirClient
# The key and URL that `haldir serve` printed above.h = HaldirClient(api_key="hld_xxx", base_url="http://127.0.0.1:8000")
# Create a governed agent sessionsession = h.create_session("my-agent", scopes=["read", "spend:50"])
# Store secrets agents never see directlyh.store_secret("stripe_key", "sk_live_xxx")
# Retrieve with scope enforcementkey = h.get_secret("stripe_key", session_id=session["session_id"])
# Authorize payments against budgeth.authorize_payment(session["session_id"], 29.99)
# Every action is loggedh.log_action(session["session_id"], tool="stripe", action="charge", cost_usd=29.99)
# Revoke when doneh.revoke_session(session["session_id"])

Under the hood that's four HTTP calls — mint a key, open a session, check a permission, write to the audit chain:

[Haldir quickstart: install, create a scoped session, check permission, log the action to the hash-chained audit trail]


Products

Gate — Agent Identity & Auth

Scoped sessions with permissions, spend limits, and TTL. No session = no access.

bash
curl -X POST https://haldir.xyz/v1/sessions \  -H "Authorization: Bearer hld_xxx" \  -H "Content-Type: application/json" \  -d '{"agent_id": "my-bot", "scopes": ["read", "browse", "spend:50"], "ttl": 3600}'

Vault — Encrypted Secrets & Payments

AES-encrypted storage. Agents request access; Vault checks session scope. Payment authorization with per-session budgets.

bash
curl -X POST https://haldir.xyz/v1/secrets \  -H "Authorization: Bearer hld_xxx" \  -H "Content-Type: application/json" \  -d '{"name": "api_key", "value": "sk_live_xxx", "scope_required": "read"}'

Watch — Audit Trail & Compliance

Immutable log for every action. Anomaly detection. Cost tracking. Compliance exports.

bash
curl https://haldir.xyz/v1/audit?agent_id=my-bot \  -H "Authorization: Bearer hld_xxx"

Proxy — Enforcement Layer

Sits between agents and MCP servers. Every tool call is intercepted, authorized, and logged. Supports policy enforcement: allow lists, deny lists, spend limits, rate limits, time windows.

bash
# Register an upstream MCP servercurl -X POST https://haldir.xyz/v1/proxy/upstreams \  -H "Authorization: Bearer hld_xxx" \  -H "Content-Type: application/json" \  -d '{"name": "myserver", "url": "https://my-mcp-server.com/mcp"}'
# Call through the proxy — governance enforcedcurl -X POST https://haldir.xyz/v1/proxy/call \  -H "Authorization: Bearer hld_xxx" \  -H "Content-Type: application/json" \  -d '{"tool": "scan_domain", "arguments": {"domain": "example.com"}, "session_id": "ses_xxx"}'

Approvals — Human-in-the-Loop

Pause agent execution for human review. Webhook notifications. Approve or deny from dashboard or API.

bash
# Require approval for spend over $100curl -X POST https://haldir.xyz/v1/approvals/rules \  -H "Authorization: Bearer hld_xxx" \  -H "Content-Type: application/json" \  -d '{"type": "spend_over", "threshold": 100}'

MCP Server

Haldir is available as an MCP server with 19 tools for Claude, Cursor, Windsurf, and any MCP-compatible AI:

json
{  "mcpServers": {    "haldir": {      "command": "haldir-mcp",      "env": {        "HALDIR_API_KEY": "hld_xxx"      }    }  }}

MCP Tools (the process above registers all 19):

GovernanceTamper-evidenceApprovals & compliance
haldir_create_sessionhaldir_verify_audit_chainhaldir_request_approval
haldir_get_sessionhaldir_get_tree_headhaldir_get_approval_status
haldir_check_permissionhaldir_get_inclusion_proofhaldir_compliance_score
haldir_revoke_sessionhaldir_get_consistency_proofhaldir_build_evidence_pack
haldir_store_secrethaldir_log_audit_actionhaldir_authorize_payment
haldir_get_secrethaldir_query_audit_trail
haldir_list_secretshaldir_get_spend

There is one tool catalog. The stdio server (haldir-mcp, or haldir mcp serve) registers all 19; the hosted POST /mcp endpoint implements a 10-tool subset under the same names. A name means the same thing on both surfaces, so a client written against one works against the other.

MCP HTTP Endpoint: POST https://haldir.xyz/mcp


Performance

Haldir is fast enough to sit in the hot path of every agent tool call without becoming the bottleneck.

Single-box HTTP throughput (gunicorn 4 workers, 32 concurrent clients, tuned SQLite backend, every request goes through the full middleware stack — auth, validation, idempotency, metrics, structured logging):

EndpointRPSp50p95p99
GET /healthz1,63819.1 ms32.5 ms41.6 ms
GET /v1/status1,38222.2 ms30.8 ms45.4 ms
GET /v1/sessions/:id90329.2 ms95.5 ms172.1 ms
POST /v1/sessions (create)1,14227.7 ms35.2 ms39.9 ms
POST /v1/audit (hash-chain)1,09228.7 ms37.6 ms52.6 ms

Hardware: 12th-gen Intel Core i3-1215U (8 cores, 8 GB RAM). SQLite is configured with WAL + synchronous=NORMAL + 256 MiB mmap + in-memory temp store — the session-lookup p99 dropped by 52 % versus the untuned path. Postgres deployments (configurable pool via HALDIR_PG_POOL_MIN/MAX) flatten the p99 further still; enable via DATABASE_URL=postgresql://....

Primitive cost (pure-Python, no I/O):

Primitivep50Notes
Vault.store_secret (AES-256-GCM encrypt + AAD)< 10 µsin-memory, no DB write
Vault.get_secret (AES-256-GCM decrypt + AAD)< 10 µsin-memory
AuditEntry.compute_hash (SHA-256 over payload)< 10 µs
Gate.check_permission over REST~50-120 msnetwork + DB round-trip, Cloudflare-fronted
Watch.log_action over REST~50-150 msincludes chain lookup + DB write
Full governed-tool envelope (check + log)~100-250 ms

Agents typically wait 500-3000 ms for an LLM completion and 100-1000 ms for an upstream API call, so Haldir's overhead sits inside the noise. Reproduce locally:

bash
# Concurrent HTTP throughput (launches a local gunicorn, ~60s total)python bench/bench_http.py --duration 10 --concurrency 32 --workers 4
# Primitive cost only (no API key needed)python bench/bench_primitives.py --local
# End-to-end against the hosted serviceexport HALDIR_API_KEY=hld_...python bench/bench_primitives.py

Compliance

One endpoint produces an auditor-ready proof-of-control pack covering eight sections, each anchored to a SOC2 trust services criterion:

bash
haldir compliance evidence --since 2026-01-01 --out evidence-q1-2026.md
#SectionSOC2
1Identity (tenant, subscription, period)—
2Access control (API keys + per-key scopes)CC6.1
3Encryption (AES-256-GCM, AAD binding)CC6.7
4Audit trail (entry count, hash chain)CC7.2
5Spend governance (per-session caps)CC5.2
6Human approvals (request/decision lifecycle)CC8.1
7Outbound alerting (webhook delivery rate)CC7.3
8Document signature (SHA-256 self-hash)—

The pack signs itself: a SHA-256 over the canonical JSON of sections 1-7. An auditor receiving an archived pack can re-call /v1/compliance/evidence/manifest and confirm the digest matches — proof the document was not modified after issuance.

JSON for evidence-locker upload, Markdown for the "show this to the auditor" moment, both from the same /v1/compliance/evidence endpoint.


Retention and deletion

Audit data is kept forever by default. When a policy requires otherwise, you can set a window and prune to it — and the prune stays provable:

bash
haldir retention set 90      # keep 90 days (0 = forever)haldir retention show        # what a prune would remove, before running ithaldir retention prune --yes

The audit log is a hash chain, so deleting old entries naively leaves the surviving chain pointing at a hash that no longer exists — which would turn a working audit trail into one that fails verification. Instead, a Signed Tree Head is taken over the log before anything is removed, and the hash of the last deleted entry is recorded as the link across the boundary.

The result is that pruning is not silent. haldir audit verify still passes, and reports what was removed along with the signed Merkle root that commits to it — so the honest answer to an auditor is "entries before this point were deleted under a retention policy, and here is the root they produced at the time." If that commitment cannot be produced, nothing is deleted.


API Reference

Full docs at haldir.xyz/docs — the complete OpenAPI 3.1 spec is at haldir.xyz/openapi.json.

Key endpoints (see the spec for the full surface):

EndpointMethodDescription
/v1/keysPOSTCreate API key
/v1/sessionsPOSTCreate agent session
/v1/sessions/:idGET/DELGet / revoke session
/v1/sessions/:id/checkPOSTCheck permission
/v1/secretsPOST/GET/DELStore / list / delete secrets
/v1/payments/authorizePOSTAuthorize payment
/v1/auditPOST/GETLog / query actions
/v1/audit/spendGETSpend summary
/v1/audit/retentionGET/PUTRead / set the retention window
/v1/audit/retention/prunePOSTPrune to the window (needs confirm)
/v1/audit/retention/checkpointsGETPrune history + signed commitments
/v1/approvals/rulesPOSTAdd approval rule
/v1/approvals/requestPOSTRequest approval
/v1/approvals/:id/approvePOSTApprove
/v1/approvals/:id/denyPOSTDeny
/v1/webhooksPOST/GETRegister / list webhooks
/v1/proxy/upstreamsPOSTRegister upstream MCP server
/v1/proxy/callPOSTCall through the proxy
/v1/usageGETUsage stats
/v1/metricsGETPlatform metrics

Agent Discovery

Haldir is discoverable through every major protocol:

URLProtocol
haldir.xyz/openapi.jsonOpenAPI 3.1
haldir.xyz/llms.txtLLM-readable docs
haldir.xyz/.well-known/ai-plugin.jsonChatGPT plugins
haldir.xyz/.well-known/mcp/server-card.jsonMCP discovery
haldir.xyz/mcpMCP JSON-RPC
smithery.ai/server/haldir/haldirSmithery registry
pypi.org/project/haldirPyPI

Design partners wanted

Live now: haldir.xyz · API Docs · OpenAPI Spec · Smithery

We're taking 5 design partners — 30 days free, full access, direct line to the founder. If you're shipping AI agents to production, email [email protected].


License

MIT


Links

來源:README.md,提交 a8235e3

工具

0
SourceWeft 尚未在沙箱中啟動過該軟體包,因此其工具未知。

版本歷史

1
  1. v0.1.0最新Sep 16, 2026

評分

已滿足適用檢查項的 50%

該評分衡量此收錄條目的完整程度,依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價,也不表示伺服器安全或目前可用:可連通性是帶日期的檢查結果,評分也不包含安裝量或使用者評價。

  • 近 30 天內可連通25 分

    請保持端點能夠回應 MCP 握手;SourceWeft 每 30 天探測一次。

  • 已宣告認證方式10 分

    請在註冊中心條目中宣告憑證請求標頭,或保持端點能夠回應探測,以便判定其認證方式。

  • 已列出工具15 分

    請讓伺服器在無憑證時回應 tools/list,或發布可在沙箱中無憑證啟動的軟體包。

  • 描述必需15 分
  • 圖示10 分
  • 文件15 分
  • 授權條款10 分