MCP quality: install

Hardproof (hardproof) is a standalone verifier CLI. The public beta is distributed as prebuilt binaries from GitHub Releases.

Scan runs in the hardproof binary (no Node.js toolchain required). Use hardproof doctor to check your environment before you run verification in CI.

Hardproof runs as a live verifier on interactive terminals: hardproof scan streams a structured event log (scan.events.jsonl) during the run and writes a stable report (scan.json) at the end.

Install from release artifacts

1. Download the release asset for your OS/arch from x07lang/hardproof GitHub Releases.

2. Extract the archive and place hardproof on your PATH.

3. Verify installation:

hardproof --help
hardproof doctor

Quick sanity scan

Run a scan against a local HTTP MCP server:

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

Artifacts under out/scan/:

• scan.json (machine-readable scan report)
• scan.events.jsonl (event stream; also useful for CI log streaming)

The report makes score truth and usage truth explicit in scan.json. For what score_mode, usage_mode, and the related fields mean, see Score truth and usage truth.

Codespaces install helper

If you are evaluating via x07lang/x07-mcp Codespaces, the repo includes a helper that installs the verifier binary (defaults to the latest beta, or you can pass a specific tag):

./scripts/dev/install_hardproof.sh

Then run:

~/.local/bin/hardproof --help