StateKnot
文档 · 开始 文档概览 选择正确的阅读入口，并了解当前 pre-alpha 边界。 文档 · 开始 快速开始 安装锁定的工具链，并在本地验证仓库。 文档 · 开始 Core 合约示例 无需 Runtime 依赖，编译首个 Agent、类型化 Tool、Model Stream 与显式协议映射。 文档 · 开始 强类型 Agent 生成并固定类型化 Schema，再绑定第一方 OpenAI 与 Anthropic Adapter。 文档 · 开始 进程内 Agent 无需 HTTP 运行强类型 Agent，同时保留 PostgreSQL 持久化、鉴权、恢复与自持有角色。 文档 · 开始 持久化准入 原子提交已认证 Intent、数据库时间、首 Event 与初始 Checkpoint。 文档 · 开始 可恢复 Run 与 Result 使用持久化 Ingress Key 提交、恢复原 Run，并读取经过验证的公开 Result。 文档 · 理解 编译确定性 Graph 构建 Schema-pinned Graph，验证拓扑，并冻结 Canonical Digest。 文档 · 理解 子图与循环 组合共享状态子图、有界循环与能够在中断后恢复的显式返回路径。 文档 · 理解 Skill 组合 在能力包、共享状态子图、持久子 Run 与受保护 MCP Skill 之间选择，不创建第二套 Runtime。 文档 · 理解 持久执行模型 理解 Journal、Checkpoint、Lease、Fence 与恢复证据如何协同。 文档 · 理解 可恢复 Graph Runtime 注册精确可执行代码、重放非初始状态，并在一个 Fence 下驱动确定性有界 Sibling Batch。 文档 · 理解 可恢复 Agent Loop 提交 Lifecycle Handoff，并执行一个 Tenant-scoped 可恢复调度 Quantum。 文档 · 理解 可恢复调用执行 通过持久化 Start、分阶段有序 Tool Coordination、Streaming 校验与 No-dispatch Terminal Recovery 执行精确 Model/Tool Attempt。 文档 · 理解 Provider-native Agent 编译并运维支持有界 Output Repair、有序 Parallel Read-only Tool 与 Write Barrier 的可恢复多轮 Graph，并固定 Policy、Accounting 与 Cancellation Evidence。 文档 · 集成 本地 Rust Tool 生成 Digest-pinned Schema、注册强类型本地代码，并保留持久执行边界。 文档 · 集成 AgentService v1 通过带版本的嵌入式边界授权并暴露精确版本的可恢复 Agent。 文档 · 集成 Agent HTTP v1 通过经过认证、有资源上限的 JSON HTTP 接口提交、找回、读取与取消 Agent。 文档 · 集成 通用 MCP Tool Client 通过 JSON/SSE、OAuth、Custom Header 与受控 MRTR 发现和调用有界 Stateless MCP 2026-07-28 Tool。 文档 · 集成 MCP OAuth Client 将一个 MCP Resource 绑定到 Challenge-driven Discovery、PKCE、Issuer 校验、持久化 Credential 与有界 Replay。 文档 · 集成 MCP Remote Tool 固定 Identity、Schema、可恢复 Dispatch 与 Reconciliation，绑定严格 Stateless MCP 2026-07-28 Tool。 文档 · 集成 MCP Server Profile 在严格 Stateless 生产边界后暴露有界 Tools、Resources、Prompts、Completion 与 MRTR。 文档 · 集成 MCP Skills 通过不可变 Manifest、Origin-scoped 审批与校验后延迟读取发布并激活 Final SEP-2640 静态 Skill。 文档 · 集成 MCP Conformance 状态 查看冻结的官方 Runner 清单、已实现证据与当前 MCP 声明的精确边界。 文档 · 集成 A2A 1.0 Client 发现并固定一个 Agent，调用全部 11 个 Operation，并只依据已背书的远端保证对持久化 Unknown Send 执行 Reconciliation。 文档 · 集成 Artifact 持久化存储 将 Terminal A2A Part 物化为不可变 PostgreSQL Metadata 与私有、经过完整性校验的 Object Bytes。 文档 · 集成 A2A 1.0 Server 通过 Identity-first Policy 与可恢复 Service 合约暴露有界 HTTP+JSON 和 JSON-RPC/SSE。 文档 · 集成 A2A Conformance 状态 查看冻结的官方 TCK、已审计 Harness Patch、精确结果与 Server-only 声明边界。 文档 · 运维 公平调度 配置 Replica-safe 加权 Tenant Selection、精确 Starvation Bound、Rollout 与 Retention。 文档 · 运维 PostgreSQL Provider 配置、迁移、校验并测试已实现的持久化 Provider。 文档 · 运维 宿主验证 记录有界容量、恢复与故障证据，避免把 CI 结果误写成生产 SLO。 文档 · 项目 版本与发布 精确固定公共 Alpha，并理解兼容性、MSRV、持久化数据与发布门禁。 文档 · 项目 实现状态 区分已经实现、正在开发和明确尚未支持的能力。 首页 架构图 查看已经实现、正在开发和规划中的边界。 首页 当前实现 已经实现的切片与明确缺口。 首页 路线图 从合约走向可验证 v1 的开发顺序。 仓库 源代码 StateKnot/StateKnot on GitHub. 仓库 RFCs 架构与持久执行合约草案。 仓库 安全策略 私密漏洞报告与支持策略。
↑↓ 选择 ↵ 打开 39 项结果

Pre-alpha · 尚无稳定公开 API

为 Rust 而生的可恢复 Agent 编排。

StateKnot 通过 PostgreSQL Crash Recovery、原子 Admission、可恢复 Model/Tool Attempt、Lifecycle Commit、公平调度、Ingress 与 Verified Result 运行类型化 Root Graph。已实现 OpenAI/Anthropic Adapter、 Provider-native Graph、AgentService v1、MCP Client/OAuth/Remote Tool/Server、Final SEP-2640 静态 Skills Server 与 Verification-first Client/Host Profile（含 Guarded 持久 Tool Binding），以及带 Terminal-task Artifact 持久化存储的 A2A 1.0 HTTP+JSON/JSON-RPC Client/Server。Dynamic/Persisted Skills、稳定 Network Agent API、A2A gRPC、MCP Tasks、高级 Graph 语义、Live-peer 与生产验证仍未完成。

阅读文档 查看源码
仓库验证
$ 

$ cargo test -p stateknot-runtime \
    --test postgres --locked

CI matrix  PostgreSQL 16 / 17
License    Apache-2.0
Status     pre-alpha

架构由一组证据边界组成。

Wire Protocol 留在稳定领域模型之外，外部工作留在数据库事务之外；恢复决策只来自有界且通过完整性校验的事实。

StateKnot 架构从 Core 合约延伸到 Graph 执行、PostgreSQL 持久化、协议 Adapter 与运维；每个节点都标明它在 pre-alpha 仓库中的实现状态。
已实现切片 开发中 规划中

Core 合约

已实现切片 类型化领域模型 Capability、Content、Identity、Scope、Budget
已实现切片 持久化记录 Run、Admission、Submission Key、Journal、Checkpoint、Result

Graph 执行

已实现切片 Barrier 合约 Canonical Graph、Reducer Planning、后继 Checkpoint
已实现切片 可恢复 Agent Runtime Provider-native Turn、Driver、Invocation、Lifecycle Cancellation 与 Crash Takeover

PostgreSQL 持久化

已实现切片 Fenced Persistence Lease、Attempt、Outbox、Interrupt、Timer
已实现切片 恢复证据 Pinned Graph、Quarantine、有界规划、Durable Start

协议

已实现切片 MCP profiles 2026-07-28 通用 Tool/OAuth Client、严格持久执行 Remote Tool 与有界 Server
规划中 A2A adapters REST 与 JSON-RPC Client/Server

运维

已实现切片 AgentService v1 Authorization-first Submit、Read 与 Cancel
规划中 Control Plane Policy、Tenant Admin、Budget、Release Routing
规划中 验证体系 Telemetry、Evaluation、Compatibility、Fault

如实展示当前实现。

“已实现”只代表 pre-alpha 仓库中已经存在代码，不代表 API 稳定或框架已经可以投入生产。

相信项目声明前，先验证仓库。

Facade Crate 已随精确版本 0.1.0-alpha.1 公共预览发布。 贡献者 Quickstart 仍会先验证仓库，再运行真实类型化合约示例， 不把预览版本包装成生产就绪。

打开贡献者教程
Shell · 贡献者 Checkout 
git clone https://github.com/StateKnot/StateKnot.git
cd StateKnot
cargo fmt --all --check
cargo test --workspace --all-targets --all-features --locked

开发顺序由证据决定。

严格 MCP Binding 保留 PostgreSQL-backed Recovery 证据；独立通用 Tool Client 与 OAuth Provider 现已通过全部 32 个计分 Client 场景，MCP Server Profile 通过全部 37 个计分 Server 场景。A2A 1.0 Server 门禁有 177 项官方 TCK Pass 且 0 Failure；Client 现已增加 11-Operation Dual-binding Matrix 与真实 PostgreSQL Unknown/No-redispatch 证明，并加入有界、由运维方背书的 Recovery。Live-peer 与 Recovery-attestation Qualification、Dynamic/Persisted MCP Skills、 MCP Tasks 和其他 Client Extension 仍是独立门禁。

  1. 闭合可恢复 Graph Loop

    Lifecycle Handoff、Lost ACK、Exact-fence Cleanup 与一次 Tenant-scoped Scheduler Quantum 已具备实现和 PostgreSQL 证据。

    已实现

  2. 冻结类型化 Provider 边界

    类型化 Input/Output Schema、离线 Profile Binding、可编译示例，以及 OpenAI Responses 与 Anthropic Messages Unary/SSE Adapter 已具备可执行证据。

    已实现

  3. 开放可恢复 Agent Ingress 与读取

    Tenant-scoped Idempotency、Fresh-ID Lost-ACK 收敛与完整重校验的公开 Run/Result Snapshot 已具备 PostgreSQL 证据。

    已实现

  4. 组装 Provider-native Agent Graph

    一条可恢复多轮 Tool Path 现在已经组合 Transcript Reconstruction、可恢复 Invocation、Pinned Policy 与 Accounting、Driver、Lifecycle 和精确 Cancellation。

    已实现

  5. 冻结首个严格 MCP Tool Binding

    Modern Stateless Discovery、精确 Local Schema/Server Pin、Attempt Credential 与 Reconciliation-first Lost Write 已有可执行 Contract Evidence。

    已实现

  6. 组合并验证协议边界

    真实 PostgreSQL 与 Loopback MCP 证据现已证明 Durable-before-dispatch State、Unknown Lost Write、No Redispatch 与精确 Result Reconciliation；Runtime PostgreSQL 证据单独证明 Error 分支，冻结的官方清单记录声明边界。

    已实现

  7. 分离通用 MCP Tool Client

    有界 Discovery、JSON/Request-scoped SSE、Custom Header、MRTR 与全部冻结计分非 OAuth Client 场景现已通过，且没有削弱严格持久执行 Binding。

    已实现

  8. 闭合 MCP OAuth 边界

    Challenge-driven Metadata、Registration Priority、PKCE、Issuer/Callback 校验、有界 Scope/Replay、Durable Store 与全部 25 个计分 OAuth 场景现已具备可执行证据。

    已实现

  9. 构建 MCP Server Profile

    有界 Stateless Tools、Resources、Prompts、Completion、MRTR、Authorization-first Policy 与全部 37 个计分官方 Server 场景现已具备可执行证据。

    已实现

  10. 通过 MCP 发布静态 Skill

    Final SEP-2640 Discovery 与 Read 现已共享一份不可变、有 Size 上限的 Registry，并具备精确原始字节 Digest、规范 Path、私有 Cursor、Scoped Cache 规则与先授权后披露。Client 与 Host 执行门禁仍是独立阶段。

    已实现

  11. 构建 A2A 1.0 Server Profile

    有界 Agent Card、Message、Task、Artifact、Streaming、Cancellation、Subscription 与 Push Config 现已通过严格 Policy 提供 HTTP+JSON 和 JSON-RPC/SSE；官方 TCK 177 项通过。

    已实现

  12. 构建可恢复 A2A Client 边界

    全部 11 个 Operation 现已跨 HTTP+JSON 与 JSON-RPC/SSE 运行，并固定 Discovery/Interface 与有界 Security；Remote Agent 具备 PostgreSQL Unknown 证据，以及由运维方背书的 Context/History Query 与 Message-ID Replay。

    已实现

  13. 使 Terminal A2A Artifact 持久化

    已接纳 Task 现在通过直接、No-resend Polling 恢复；有界 Terminal Part 会收敛为不可变 PostgreSQL Metadata 与私有、Conditional Publication、完整校验的 Object Bytes。

    已实现

  14. 发布验证证据

    在负载与故障条件下执行冻结场景；兼容性、性能和恢复证据发布后才提出支持声明。

    下一步
查看完整实现状态