x07 MCP

x07 mcp

X07的官方MCP套件，以及官方 io.x07/x07lang-mcp 服务器。

此仓库是X07工具链和MCP运行时之间的桥梁。它为您提供了在X07中构建MCP服务器所需的包、CLI、模板、文档和参考服务器，还提供了编码代理在X07项目上使用的官方服务器。

从这里开始： 代码空间快速入门 · 脚手架导轨 · 官方服务器README · Postgres演示 · X07代理快速入门

选择你的道路

使用官方X07 MCP服务器

如果您希望使用MCP服务器来编写、检查、测试和操作X07项目，请使用已发布的 io.x07/x07lang-mcp 此仓库中的服务器。

1. 安装X07工具链。
2. 下载已发布 .mcpb 中描述的捆绑包 servers/x07lang-mcp/README.md.
3. 配置您的MCP客户端以安装或运行该捆绑包。

服务器使用您的本地 x07 工具链，并公开用于编辑X07代码、查询包、运行WASM/设备/应用程序操作以及使用选定平台表面的结构化工具。

在X07中构建MCP服务器

如果你想发布自己的MCP服务器，这个仓库为你提供了工具包、脚手架和发布流程。

最快路径：

x07-mcp scaffold init --template mcp-server-stdio --dir ./my-server
cd my-server
x07 bundle --project x07.json --profile os --out dist/router
x07 bundle --project x07.json --profile os --out dist/worker --entry src/worker_main.x07.json
dist/router

首选起点：

• docs/getting-started/codespaces.md 用于零安装探索
• docs/getting-started/scaffold.md 用于局部脚手架
• docs/getting-started/run-stdio.md 和 docs/getting-started/run-http.md 针对特定交通流

验证MCP服务器

如果要验证任何MCP服务器，包括非X07内置的服务器，请使用 坚固耐用.

hardproof scan --url "http://127.0.0.1:3000/mcp" --out out/scan --format rich

如果您不提供信任输入(--server-json 并且当可用时， --mcpb)，Hardproof可能会产生部分分数而不是满分。 默认情况下， hardproof ci 失败在 score_mode=partial；使用 --allow-partial-score 只有当部分门控是有意的时候。

此回购包括哪些内容

• ext-mcp-* 服务器核心、传输、身份验证、沙盒、重放、信任和发布流的包
• x07-mcp 用于脚手架、合规性、检查、捆绑、发布准备和信任工具的CLI
• 模板： mcp-server-stdio, mcp-server-http，以及 mcp-server-http-tasks
• 官方 io.x07/x07lang-mcp 服务器
• GitHub、Postgres、Redis、S3、Kubernetes、Slack、Jira、Stripe、SMTP等的参考服务器
• 公共Postgres演示路径 demos/postgres-public-beta/

为什么选择x07 mcp

• 默认执行时安全。 工具调用通过沙箱策略和资源上限在显式的路由器和工作器边界中运行。
• 内置认证故事。 HTTP服务器获得OAuth 2.1资源服务器支持、受保护的资源元数据、DPoP随机数处理和范围到工具映射。
• 确定性重播。 记录和回放流程使回归和CI失败可重复。
• 具有信任意识的发布流。 捆绑包、注册表元数据和透明度检查是该工具包的首要部分。
• 代理本机输出。 CLI命令支持机器可读输出，因此代理可以对合约进行操作，而不是抓取日志。

如何适应X07生态系统

• x07 提供语言、修复循环、包管理器和核心文档
• x07-mcp 提供面向MCP的包、模板、一致性流程和官方X07 MCP服务器
• hardproof 验证MCP服务器并跨语言边界发布工件

建筑

Host (IDE / agent runtime)
  -> MCP client
    -> Transport (stdio | HTTP + SSE)
      -> x07-mcp router
        -> protocol dispatch, auth, lifecycle, tools/resources/prompts
        -> worker pool
          -> per-tool worker process with sandbox policy and resource caps

路由器拥有传输帧、协议调度和身份验证。工作人员根据明确的策略执行工具调用，而不是让每个工具共享不受限制的进程状态。

看 docs/concepts/router-worker.md 和 docs/concepts/sandbox.md.

文档和示例

关键文件：

• 开始： docs/getting-started/
• 概念： docs/concepts/
• 参考： docs/reference/
• 参考服务器： docs/reference/servers.md

公共示例流：

• demos/postgres-public-beta/README.md 英雄演示路径
• docs/examples/trusted_program_sandboxed_local_stdio_v1/
• docs/examples/trusted_program_sandboxed_net_http_v1/
• docs/examples/verified_core_pure_auth_core_v1/

面向代理的输出

支持所有主要CLI命令 --machine json.

两个面向构建器的输出对于自动化特别有用：

• x07-mcp bundle --mcpb --server-dir --machine json 发射 x07.mcp.bundle.summary@0.1.0
• x07-mcp publish --dry-run --server-json --mcpb --machine json 发射 x07.mcp.publish.readiness@0.1.0

这些文档包含稳定的工件引用、传输和能力摘要、信任/准备状态以及明确的阻止或警告。

验证

回购门：

./scripts/ci/check_all.sh

夹具服务器

x07-mcp fixtures 运行用于本地烟雾检查和指标存储的确定性stdio MCP服务器。

x07-mcp fixtures server-perf-sleep --sleep-ms 10
x07-mcp fixtures server-big-catalog --tools 500
x07-mcp fixtures server-reliability-fuzz

对于CI奇偶校验锁和烟雾检查：

X07_MCP_LOCAL_DEPS=1 X07_MCP_LOCAL_DEPS_REFRESH=1 X07_MCP_SKIP_STDIO_SMOKE=1 ./scripts/ci/check_all.sh

如果你有个兄弟姐妹 ../x07 结账时，它必须是一个干净的结账，与之前的标签完全一致 x07-toolchain.toml，或者你必须指出 X07_ROOT 在匹配的工作台上。

协议

固定到MCP协议版本 2025-11-25，具有向后兼容的协商功能 2025-06-18 和 2025-03-26.

许可证

双重许可 Apache 2.0 和 麻省理工学院.