Tkach Security

Рус语版

模型负责提议，Tkach 负责授权。

将 Tkach 放在模型提议与受保护操作之间。其 Rust Core 会在允许操作或释放输出前检查权限和信息流。即使模型遭到破坏，模型输出仍是不可信数据。

为什么选择 Tkach

• 明确的权限： 受保护操作需要 Core 签发、范围精确的 Propusk；模型文本无法创建此凭证。
• 受控的数据流： 有权读取不代表有权导出。 来源追踪和释放检查始终在边界内进行。
• 默认拒绝的决策： 无效、拒绝、重放、取消或不确定的 状态不会悄然变成授权。
• 隔离的机密与有界证据： 由代理持有的机密不会进入普通模型上下文；Sled 回执不包含载荷。

这些保证仅适用于通过 Tkach 路由的操作路径。它不会让模型变得可信，不会检测所有提示注入，也无法保护已遭入侵的主机。

几分钟内启动

使用 Rust 1.85 或更高版本从 crates.io 安装：

cargo install tkach-cli --version 0.1.2 --locked
tkach init my-agent
tkach check my-agent/.tkach/request.json
tkach run --demo

init 会创建起始请求，且不会覆盖文件；check 会验证其架构，而不会授予执行权限；run --demo 会在不连接模型的情况下演练离线边界。使用 tkach ui 打开交互面板。

如果不想安装 Rust 工具链？下载下方的二进制文件，然后从 tkach init 开始。

软件包和下载 · v0.1.2

渠道	内容	安装 / 下一步
GitHub Releases	tkach + tkach-mcp；Linux x86_64、macOS x86_64/arm64、Windows x86_64	验证下载文件
crates.io	七个版本为 0.1.2 的 Rust crate：Core、Gateway、HTTP、客户端、MCP、CLI、provider adapter	软件包列表
npm	轻量级 JavaScript / TypeScript HTTP 客户端	npm install [email protected]
PyPI	轻量级 Python HTTP 客户端	python -m pip install tkach-security-client==0.1.2
官方 MCP Registry	io.github.ECD5A/[email protected]，本地 stdio	配置 MCP
GHCR	适用于 Linux amd64 / arm64 的 OCI 镜像	摘要和部署

二进制归档包含 SHA-256 清单、无密钥 Sigstore bundle 和 GitHub 构建证明。部署时请固定 OCI 摘要；验证详情见分发指南。

集成时无需将策略移出 Rust

在应用中使用 HTTP contract、Rust 客户端、Python/JS/TS/Go 客户端，或通过 MCP 客户端使用 stdio adapter。 客户端和 MCP 需要单独启动本地 tkach serve 运行时，并提供其 bearer token；安装软件包并不会启用后台保护。

tkach-core 保持与 provider、协议和语言无关。Adapter 负责传输请求；策略和权限由 Rust 掌控。请参阅集成指南，或复制一个可运行的 examples/ 场景。Go 客户端是源代码模块，并非单独的 Registry 软件包。

默认情况下，支持的运行时仅监听回环地址。不包含面向公共互联网的服务、TLS 终止、Streamable HTTP、云控制平面和通用执行器；请参阅部署约定。

显示跨平台 CLI 窗口

查看边界如何发挥作用

在检出的仓库中运行离线 Golden Case。它不需要模型服务或凭据。它会在临时沙盒中执行一次仅创建写入，然后证明相邻路径和遭到攻陷的 provider 提案都会被拒绝：

cargo run -p tkach-gateway --example golden_case --locked

预期结果：

GOLDEN_CASE|safe_output=released|allowed_write=committed|out_of_scope=denied|compromised_action=denied|compromised_executor_calls=0

正向路径使用可信的主机配置来指定确切的策略、目标位置和执行器绑定；provider 只提供不可信的提案。请阅读架构，了解强制执行流程；并阅读发行说明，了解发行检查和现存限制。

文档

• 使用：集成指南、示例、分发。
• 审阅：产品约定、架构、安全模型、威胁模型。
• 跟进：变更日志、路线图。请通过 SECURITY.md 报告漏洞。

贡献

保持改动小巧，并明确说明安全边界。核心改动需要有证据证明存在安全或产品缺陷；适配器必须保持轻量，不得重复实现核心逻辑。有关必需检查、公开声明规则以及必须保留在本地的文件，请参阅 CONTRIBUTING.md。

支持

如果 Tkach Security 对你的工作有所帮助，请支持其持续维护：

• TON：pointoncurve.ton
• Bitcoin (BTC)：1ECDSA1b4d5TcZHtqNpcxmY8pBH1GgHntN
• USDT (TRC20)：TUF4vPdB6QkjCvZq18rBL4Qj4dK5ihCN75

联系方式

如需咨询 Tkach Security、集成、安全研究或合作事宜，请联系：