Skip to main content

Try MCP verification with zero install (Codespaces)

Codespaces is the fastest way to evaluate the X07 MCP lane without installing the toolchain locally: build a small server, run it, and verify it with Hardproof in one disposable workspace.

1) Open a Codespace

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

2) Install the verifier

./scripts/dev/install_hardproof.sh

3) Build and run the example server

cd examples/private-alpha-http-hello
x07 bundle --project x07.json --profile os --out out/mcp-router
x07 bundle --project x07.json --profile sandbox --sandbox-backend os --i-accept-weaker-isolation --program src/worker_main.x07.json --out out/mcp-worker
./out/mcp-router

The MCP endpoint is http://127.0.0.1:8314/mcp.

4) Run a scan

hardproof scan \
  --url "http://127.0.0.1:8314/mcp" \
  --out out/scan \
  --format json

Artifacts are written under out/scan/: scan.json and scan.events.jsonl.

Next