MCP quality: install

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

Conformance runs inside the hardproof binary (no external toolchain required). Use hardproof doctor to check your environment before you run conformance in CI.

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

Codespaces install helper

If you are evaluating via x07lang/x07-mcp Codespaces, the repo includes a helper that downloads a pinned alpha verifier binary:

./scripts/dev/install_hardproof.sh

Then run:

~/.local/bin/hardproof --help