Skip to content
KitploitKITPLOIT
工具漏洞利用博客
Log in
提交
工具漏洞利用博客
提交

黑客、渗透测试和网络安全工具,武装您的安全武器库!

Kitploit 是一个黑客、网络安全和渗透测试工具的目录。发现最新的项目更新,查找漏洞、分析系统、自动化测试并加强你的安全。

订阅源联系隐私© 2026 Kitploit

工具目录

分类

查看所有分类
Loading categories
Tracekit — 面向 AI 代理的防篡改追踪、策略门控与交叉校验:看清代理做了什么,以及为什么这么做。 | Kitploit
工具/GitHubGitHub/cygnux-labs/tracekit
AI 安全
GitHubcygnux-labs/tracekit

Tracekit

面向 AI 代理的防篡改追踪、策略门控与交叉校验:看清代理做了什么,以及为什么这么做。

查看仓库网站
14812501天前Kitploit 审核通过

最受欢迎

查看全部 →

发现我们社区最常用的工具。

探索所有工具

浏览我们的工具集合

查看所有工具 →
分享

Tracekit:面向 AI 代理的防篡改飞行记录仪

代理可以编辑日志。但它们无法隐藏编辑痕迹。

Tracekit 会在你的代理执行每次工具调用之前进行检查,将每次调用和决策签名写入哈希链, 并为每次运行生成一个 .tkb 文件,任何人都可以离线验证。

PyPI 适用于 25 个代理和框架 CI MIT 许可证

8 / 8

篡改攻击被捕获
480 次试验,带见证者(E1)

570 / 570

有害调用被阻止
11 个类别,738 次中 1 次误报(E17)

< 1 ms

每次工具调用增加的开销
p99 为 0.91 ms,签名器往返(E9)

8 / 8

内部攻击被捕获
每个 PR 上的合并门禁(E8)

构建方式类似 Certificate Transparency:签名记录写入仅追加日志,由独立见证者联署
开放文件格式 · Python 和 TypeScript 验证器 · MIT · 在你自己的机器上运行

试用 · 添加到你的代理 · 它能证明什么 · 包含什么 · 证据 · 工作原理 · 试点 · 贡献 · 文档


当代理做了不该做的事时,你会问三件事:它做了什么,是否被允许,以及你是否能信任 这份记录? 代理自己的日志无法回答第三个问题,因为代理可以编辑它。下面是一次运行,用两种方式 记录:

发生了什么:一张支持工单隐藏了一条指令,代理删除了 128 个订单中的 43 个,然后编辑自己的日志和 Tracekit 的记录,使删除看起来像查询。代理自己的日志显示对订单 1042 的两次查询;grep 找不到 DELETE,数据库中有 85 个订单:看起来干净。Tracekit,同一次运行:13:51:59 的 run_sql 调用被标记为 ACME-F001 删除行,并且当运行关闭时验证失败,错误为 seq 7:哈希与事件不匹配。在第 7 条记录处被捕获。

一张带有隐藏指令的工单让支持代理删除了 43 个订单,然后编辑自己的日志和 Tracekit 对删除的记录。grep 找不到删除;Tracekit 将运行标记为 FAILED,因为第 7 条记录不再与其哈希匹配。

同一次运行,已录制:数据库、签名器、查看器和两处编辑都是真实的;模型是脚本化的。带声音观看(1:47)

在此演示中,签名器以 agent 自身的用户身份运行(开发模式),因此一个知道方法的 agent 本可以读取密钥并重新签名日志。将签名器运行在 agent 无法触及的地方,并配备见证者,它就无法做到。

试一试

uvx --from tracekit-ai tracekit demo --server

无需 API key,也无需通过 uv 安装任何东西。在 Mac 上从空缓存开始,耗时 5 秒(在全新的 venv 中执行 pip install tracekit-ai 则为 10 秒)。包名是 tracekit-ai:PyPI 上的 tracekit 是一个无关项目。一个脚本化 agent 会发起三次调用,你应该会看到:

== agent run (SCRIPTED: fixed tool calls, not a model)
  Bash 'ls': allow
  Bash 'sudo rm -rf /': deny TK-D001 TK-D004 TK-F003
  Bash 'echo "unterminated': ask TK-SHELL-PARSE
...
Integrity: VERIFIED.

== tamper test: rewrite the denied call as allowed in a copy, then verify again
[FAIL] signatures — 11 record(s), keys valid at their position
        seq 4: hash does not match the event
Integrity: FAILED.

删除操作在执行前被拒绝,被挂起的调用在获得批准后执行,并且该次运行通过了验证。随后,演示程序在一份副本中将该拒绝改写为允许,验证在它所更改的那条记录处失败。

将其添加到你的 agent

三行:

pip install tracekit-ai
import tracekit; tracekit.instrument()     # the first line of your agent; then run it as usual
tracekit last                               # Integrity: VERIFIED. / Assurance: dev; ...

tracekit.instrument() 会启动一个开发签名器(或复用正在运行的签名器),并对它找到的框架的每次工具调用和模型调用进行门控和记录。tracekit last 会导出你最近一次运行,对其进行验证并说明其位置。tracekit view --dev 会显示所有运行。在干净的机器上,LangGraph 示例(一个模拟模型,无需 API 密钥)的安装、运行和验证在 27 秒内完成:examples/v2/clean-machine.sh langchain。

适用于 Claude Code、Codex CLI、Cursor 和 Gemini CLI;Python 和 TypeScript SDK;OpenAI Agents SDK、Claude Agent SDK、LangChain、LangGraph、MCP、CrewAI、Browser Use、Pydantic AI、Vercel AI SDK 和 OpenTelemetry
下载工具