Install Hardproof

Prebuilt binaries for Linux and macOS. On Windows, run inside WSL2 and use the Linux artifact (linux_x86_64).

Hardproof is a standalone verifier for MCP servers. You do not need to adopt x07 to use it. Built with x07.

Pinned beta tag (reproducible): v0.4.0-beta.4.

Install script

Install the latest beta (recommended):

curl -fsSL "https://raw.githubusercontent.com/x07lang/hardproof/main/scripts/install.sh" | bash -s -- --tag latest-beta

Install a pinned beta tag (reproducible):

curl -fsSL "https://github.com/x07lang/hardproof/releases/download/v0.4.0-beta.4/install.sh" | bash -s -- --tag "v0.4.0-beta.4"

The installer downloads the correct archive for your OS/arch, verifies it via the release checksums.txt, and installs into ~/.local/bin.

Manual download (pinned tag)

• Linux x86_64: https://github.com/x07lang/hardproof/releases/download/v0.4.0-beta.4/hardproof_0.4.0-beta.4_linux_x86_64.tar.gz
• macOS arm64: https://github.com/x07lang/hardproof/releases/download/v0.4.0-beta.4/hardproof_0.4.0-beta.4_macos_arm64.tar.gz
• macOS x86_64: https://github.com/x07lang/hardproof/releases/download/v0.4.0-beta.4/hardproof_0.4.0-beta.4_macos_x86_64.tar.gz
• Checksums: https://github.com/x07lang/hardproof/releases/download/v0.4.0-beta.4/checksums.txt

Verify your first server

1) Run diagnostics (checks your environment and target reachability):

hardproof doctor --machine json

2) Run a scan:

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

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

Next

• Use Hardproof in CI: /hardproof/ci
• FAQ / migration: /hardproof/faq
• Build MCP servers in x07 (Codespaces): /mcp/codespaces