Skip to main content

Build and connect MCP servers with X07

x07-mcp is the MCP lane in the X07 ecosystem: an authoring toolkit for X07-native servers, the official bridge for exposing X07 tooling to agent runtimes, and a clean handoff into Hardproof verification.

Open MCP docs Verify with Hardproof Open Codespaces Postgres demo

How the pieces fit

Build an MCP server in X07: use x07-mcp to scaffold, run, bundle, and publish X07-native servers with a consistent architecture.
Connect agents to X07 tooling: use the official x07lang-mcp bridge when you want typed MCP access to X07 toolchain operations from an agent runtime.
Verify any MCP server: use Hardproof to run deterministic verification and emit CI-grade artifacts with explicit score truth.

Start with one path

Zero-install evaluation: /mcp/codespaces
End-to-end demo: /mcp/demo
Build docs: /docs/toolchain/mcp-kit
Verification docs: /hardproof/install

Codespaces quickstart URL: https://codespaces.new/x07lang/x07-mcp?quickstart=1