Agentic Contract

代理合同

Policy engine for AI agents.

Every action checked. Every limit enforced. Every breach recorded. Always.

Problems Solved · Quickstart · How It Works · Benchmarks · Install · API · Papers

______________________________________________________________________

每个AI代理都不受控制。

克劳德可以超过您的API预算。GPT可以绕过审批门。你的副驾驶可能会在没有人注意到的情况下违反合规规则。 每一个行动都是在没有监督的情况下发生的。

当前的修复程序不起作用。手动策略检查已被遗忘。速率限制存在于代理无法检查的应用程序代码中。审批工作流需要外部服务。合规义务在电子表格中得到跟踪。违规行为不会被发现，直到为时已晚。

代理合同 在单个二进制文件中建模策略、风险限额、批准、条件、义务和违规行为 .acon 文件。不是“添加配置文件”。您的代理有 治理引擎 --行为约束、预算执行、审批门和违规跟踪——所有这些都是结构化的，都可以在微秒内查询。

已解决的问题（请先阅读）

• 问题： 代理在没有策略约束的情况下运行，可以采取任何行动。

解决了的： 类型化策略（allow/dedeny/require_approval/audit-only）通过亚毫秒级的评估来强制执行行为规则。

• 问题： 对资源预算或速率限制没有运行时意识。

解决了的： 具有实时跟踪和阈值警报的定量风险限制。

• 问题： 高风险的行为是在没有人参与的情况下发生的。

解决了的： 具有请求/决定生命周期和审计跟踪的结构化审批工作流。

• 问题： 合规义务被非正式地跟踪，错过了最后期限。

解决了的： 具有自动逾期检测功能的截止日期跟踪义务。

• 问题： 违反政策的行为未被发现和记录。

解决了的： 使用预知和考古工具对违规记录进行严重程度分类。

from agentic_contract import ContractEngine

engine = ContractEngine("agent.acon")

# Your agent is governed
engine.policy_add("No production deploys on Friday", scope="global", action="deny")
engine.risk_limit_set("API spend", max_value=100.0, limit_type="budget")

# Session 47 -- months later, same governance:
result = engine.policy_check("deploy")           # Check before acting
status = engine.risk_limit_check("API spend", 5) # Check budget headroom
report = engine.stats()                           # Full governance overview

操作可靠性命令（CLI）：

acon policy list                        # All active policies
acon limit list                         # Current limit usage
acon obligation check                   # Overdue obligations
acon violation list --severity critical # Critical breaches
acon stats                              # Full summary

______________________________________________________________________

MCP工具（22核+16高级功能）

核心工具

高级工具（16）

一旦连接，LLM可以执行政策、跟踪预算、管理审批、监控义务和调查违规行为——所有这些都有相同的支持 .acon 二进制文件。

______________________________________________________________________

基准测试

所有测量均在Apple M系列、单线程、冷缓存上进行。这 .acon 该格式使用固定大小的记录和BLAKE3校验和——没有JSON解析，没有查询计划开销。

______________________________________________________________________

为什么代理合同

治理是一个图表，而不是一个清单。 当你追踪 *为什么* 一个动作被拒绝，你跟着一条链：违规← 违反政策← 超出风险限额← 从未批准。这就是图形导航。简单的允许/拒绝规则永远无法重建推理。

一个文件。真正便携。 你的整个治理状态是一个单一的 .acon 文件。复制它。备份它。版本控制。没有云服务，没有API密钥，没有供应商锁定。

任何法学硕士，任何时候。 今天从克劳德开始。明天切换到GPT。明年改用本地模式。相同的合同文件。治理规则与代理一起传播，而不是与提供者一起传播。

自我疗愈。 当政策冲突或世界条件发生变化时，自愈合同制度会提出修正案。旧政策、新政策和修订链都被保留以供审计。

六种实体类型。 不仅仅是政策。策略、风险限制、审批工作流、条件、义务和违规——每种都有类型化的生命周期管理。四种策略操作（允许/拒绝/要求批准/仅审核），四种风险限额类型（费率/阈值/预算/计数），四个违规严重程度（信息/警告/严重/致命）。

______________________________________________________________________

安装

一个衬垫 （桌面配置文件）：

curl -fsSL https://agentralabs.tech/install/contract | bash

安装配置文件：

# Desktop (configures Claude Desktop, Cursor, Windsurf)
curl -fsSL https://agentralabs.tech/install/contract/desktop | bash

# Terminal-only (no desktop config writes)
curl -fsSL https://agentralabs.tech/install/contract/terminal | bash

# Remote/server hosts
curl -fsSL https://agentralabs.tech/install/contract/server | bash

包装经理

# npm
npm install @agenticamem/contract

# pip
pip install agentic-contract

# cargo
cargo install agentic-contract-cli agentic-contract-mcp

独立担保： 代理合同独立运作。不需要其他Agentra组件。

______________________________________________________________________

快速入门

CLI--通过4个命令实施治理

# Add a deny policy
acon policy add "No production deploys on Friday" --scope global --action deny

# Set a budget limit
acon limit set "API spend" --max 100.0 --type budget

# Add an obligation with a deadline
acon obligation add "Submit compliance report" \
  --description "Weekly compliance summary" \
  --deadline "2026-03-07T17:00:00Z"

# Check current governance state
acon stats

Python SDK——5行受管代理

from agentic_contract import ContractEngine

engine = ContractEngine("agent.acon")
engine.policy_add("Rate limit API calls", scope="global", action="deny")
engine.risk_limit_set("API calls per minute", max_value=60, limit_type="rate")
print(engine.policy_check("call external API"))  # Check before acting

MCP——让克劳德执行合同

User: "Deploy the staging build to production"

Claude: Let me check the governance policies first.
→ policy_check("deploy to production")
→ Result: RequireApproval

This action requires approval. Let me create an approval request.
→ approval_request(rule_id, "Deploy staging to production", "claude-agent")
→ Waiting for human approval...

______________________________________________________________________

MCP服务器

任何兼容MCP的客户端都可以即时访问运行时治理。 这 agentic-contract-mcp 板条箱暴露了整个ContractEngine 模型上下文协议 （JSON-RPC 2.0通过标准输入）。

cargo install agentic-contract-mcp

配置Claude桌面

增添 ~/Library/Application Support/Claude/claude_desktop_config.json:

{
  "mcpServers": {
    "agentic-contract": {
      "command": "agentic-contract-mcp",
      "args": ["serve"]
    }
  }
}

零配置：默认为 ~/.agentic/contract.acon.用覆盖 "args": ["--path", "/path/to/contract.acon", "serve"].

配置VS代码/光标

增添 .vscode/settings.json:

{
  "mcp.servers": {
    "agentic-contract": {
      "command": "agentic-contract-mcp",
      "args": ["serve"]
    }
  }
}

LLM能得到什么

服务器模式

对于云/服务器部署，设置身份验证令牌：

export AGENTIC_TOKEN="$(openssl rand -hex 32)"
agentic-contract-mcp serve

______________________________________________________________________

常见工作流

行动前政策检查

1. policy_check("deploy to production")
2. If denied → stop, report violation
3. If require_approval → approval_request(...)
4. If allowed → proceed

预算控制代理人

1. risk_limit_set("API spend", max=100, type="budget")
2. Before each call: risk_limit_check("API spend", 0.05)
3. If exceeded → violation_report(...)

合规义务

1. obligation_add("Submit weekly report", deadline="2026-03-07T17:00:00Z")
2. Periodically: obligation_check()
3. On overdue → violation_report(...)

______________________________________________________________________

运作原理

AgenticContract将所有治理数据存储为 类型化实体 以自定义二进制格式。实体代表治理原语（政策、风险限制、批准、条件、义务、违规）。该引擎在运行时评估策略、跟踪限制并记录违规行为。

为了提高性能和安全性，核心运行时是用Rust编写的。所有州都住在一个便携式 .acon 二进制文件——没有外部数据库，没有托管服务。MCP服务器通过JSON-RPC stdio公开了完整的引擎。

______________________________________________________________________

治理模式的详细内容：

实体 是治理原语——六种类型：

政策行动 --四种类型： allow · deny · require_approval · audit_only

风险限额类型 --四种类型： rate · threshold · budget · count

违规严重程度 --四个级别： info · warning · critical · fatal

File format details

+-------------------------------------+
|  HEADER           64 bytes          |  Magic(ACON) . version . flags . entity counts . timestamps
+-------------------------------------+
|  POLICY TABLE     fixed-size rows   |  id . label . scope . action . active . conditions . tags
+-------------------------------------+
|  RISK LIMIT TABLE fixed-size rows   |  id . label . type . current . max . window
+-------------------------------------+
|  APPROVAL TABLE   fixed-size rows   |  rules . requests . decisions
+-------------------------------------+
|  CONDITION TABLE  fixed-size rows   |  id . label . type . expression
+-------------------------------------+
|  OBLIGATION TABLE fixed-size rows   |  id . label . status . deadline . assignee
+-------------------------------------+
|  VIOLATION TABLE  fixed-size rows   |  id . description . severity . actor . timestamp
+-------------------------------------+
|  CHECKSUM         BLAKE3            |  Integrity verification
+-------------------------------------+

二进制格式使用 b"ACON" 魔术字节、用于O（1）实体访问的固定大小记录和用于完整性的BLAKE3校验和。没有JSON解析开销。没有外部服务。即时访问。

完整格式规范->

______________________________________________________________________

部署模型

• 默认情况下为独立： AgenticContract可独立安装和操作。与AgentMemory或其他姐妹的整合是可选的，从来不是必需的。
• 默认情况下，本地优先： 所有治理数据都存在于一个单一的 .acon 文件系统上的二进制文件。

______________________________________________________________________

验证

一篇研究论文：

• 论文一：代理合同——人工智能代理的策略引擎

______________________________________________________________________

存储库结构

这是一个Cargo工作区monorepo，包含核心库、MCP服务器、CLI和FFI绑定。

agentic-contract/
├── Cargo.toml                       # Workspace root
├── crates/
│   ├── agentic-contract/            # Core library (policy engine, file format, advanced capabilities)
│   ├── agentic-contract-mcp/        # MCP server (22 core + 16 advanced tools)
│   ├── agentic-contract-cli/        # CLI binary: acon (policy/limit/approval/obligation/violation)
│   └── agentic-contract-ffi/        # FFI bindings (C header + shared library)
├── python/                          # Python SDK (PyPI: agentic-contract)
├── npm/wasm/                        # WebAssembly bindings
├── paper/                           # Research paper (Paper I: policy engine)
├── scripts/                         # Install, CI, and guardrail scripts
├── docs/                            # Documentation (public pages, ecosystem kit)
└── .github/workflows/               # CI/CD (build, test, release, guardrails)

运行测试

# All workspace tests (unit + integration + stress)
cargo test --workspace

# Core engine tests only
cargo test -p agentic-contract

# MCP server stress tests
cargo test -p agentic-contract-mcp --test phase1_mcp_stress

# CLI integration tests
cargo test -p agentic-contract-cli --test cli_integration

# Guardrails
bash scripts/check-canonical-sister.sh

______________________________________________________________________

隐私与安全

• 所有合同数据都保留在本地 在你的 .acon 文件——没有云，没有遥测，没有网络调用
• 服务器模式要求显式身份验证 通过 AGENTIC_TOKEN 环境变量
• MCP传输硬化 具有内容长度帧和8 MiB消息限制
• 二进制格式包括BLAKE3校验和 用于完整性验证
• 运行时没有外部依赖关系 --发动机是独立的
• 向以下人员报告漏洞：security@agentralabs.tech

贡献

看 贡献.md 用于开发设置和指南。所有捐款都需要：

1. cargo fmt --all -- --check
2. cargo clippy --workspace --all-targets -- -D warnings
3. cargo test --workspace
4. bash scripts/check-canonical-sister.sh

许可证

麻省理工学院——见 许可证.

______________________________________________________________________

Built by Agentra Labs