Skip to main content
Version: 0.1.106

MCP quality: Codespaces

Codespaces is the recommended zero-install evaluation path for the verifier:

  • run a minimal x07-native MCP server (x07lang/x07-mcp)
  • verify it locally with Hardproof (hardproof)

Quickstart​

  1. Open a Codespace:
  • https://codespaces.new/x07lang/x07-mcp?quickstart=1
  1. Install the verifier from the repo root:
./scripts/dev/install_hardproof.sh
  1. Build and run the minimal HTTP example:
cd examples/private-alpha-http-hello
x07 bundle --project x07.json --profile os --out out/mcp-router
x07 bundle --project x07.json --profile sandbox --program src/worker_main.x07.json --out out/mcp-worker
./out/mcp-router
  1. Verify in another terminal:
hardproof scan --url "http://127.0.0.1:8314/mcp" --out out/conformance --machine json
hardproof replay record --url "http://127.0.0.1:8314/mcp" --out out/replay.session.json --machine json
hardproof replay verify --session out/replay.session.json --url "http://127.0.0.1:8314/mcp" --out out/replay-verify --machine json