
Haldir
io.github.ExposureGuard由 GitHub 账号 ExposureGuard 发布v0.1.0更新于 Oct 24, 2026
Guardian layer for AI agents: identity, secrets, audit via MCP.
概览
Haldir 是面向 AI 代理的治理层,通过 MCP 提供会话权限、加密机密保管库、支出上限与可验证的审计记录。
- 可以做什么
- 创建、查询与撤销带权限范围的代理会话,并检查权限。存储、列出与取出保管库中的机密,代理仅在范围允许下取得。授权付款并查询支出,按会话预算管控。写入审计记录、查询审计轨迹,并验证哈希链、获取树头、包含证明与一致性证明。申请人工审批、查询审批状态,生成合规分数与证据包。
- 适用场景
- 当你让 AI 代理调用工具、动用资金或读取凭据,并需要权限范围、支出上限、加密保管库与可验证审计记录时适用。也适合需要人工审批与合规证据包的场景。
- 运行要求
- 以本地进程运行,需安装 PyPI 包 haldir 并具备 Python 环境。MCP 服务器需设置 HALDIR_API_KEY 环境变量,密钥由 haldir serve 或 haldir login 生成。自托管需本地服务与数据库,云端版本需网络连接。
安装
在 SourceWeft 中
- 打开 控制台中的 Haldir,将其添加到工作区。
- 为需要使用其工具的对话启用该服务。
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]
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.
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:
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, 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]
-
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.
-
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).
-
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.
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
Full self-hosting guide: SELF_HOSTING.md
Cloud (no setup)
That's it — point at https://haldir.xyz, no signup for the free tier.
CLI
Install once, drive the whole platform from the terminal:
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:
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)
Under the hood that's four HTTP calls — mint a key, open a session, check a permission, write to the audit chain:
Products
Gate — Agent Identity & Auth
Scoped sessions with permissions, spend limits, and TTL. No session = no access.
Vault — Encrypted Secrets & Payments
AES-encrypted storage. Agents request access; Vault checks session scope. Payment authorization with per-session budgets.
Watch — Audit Trail & Compliance
Immutable log for every action. Anomaly detection. Cost tracking. Compliance exports.
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.
Approvals — Human-in-the-Loop
Pause agent execution for human review. Webhook notifications. Approve or deny from dashboard or API.
MCP Server
Haldir is available as an MCP server with 19 tools for Claude, Cursor, Windsurf, and any MCP-compatible AI:
MCP Tools (the process above registers all 19):
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):
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):
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:
Compliance
One endpoint produces an auditor-ready proof-of-control pack covering eight sections, each anchored to a SOC2 trust services criterion:
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:
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):
Agent Discovery
Haldir is discoverable through every major protocol:
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
- Website: haldir.xyz
- API Docs: haldir.xyz/docs
- Smithery: View on Smithery
- PyPI: haldir
- OpenAPI: haldir.xyz/openapi.json
来源:README.md,提交 a8235e3
工具
0版本历史
1- v0.1.0最新Sep 16, 2026
评分
已满足适用检查项的 50%
该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。
- 近 30 天内可连通25 分
请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。
- 已声明认证方式10 分
请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。
- 已列出工具15 分
请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。
- 描述必需15 分
- 图标10 分
- 文档15 分
- 许可证10 分