Hardproof public beta

Hardproof is deterministic verification for MCP servers.

A single scan report with five dimensions, a usage overlay, and explicit score truth. Built with x07.

Install quickstart

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

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

CI quickstart

Use hardproof ci to fail builds when verification fails or drops below your threshold:

hardproof ci --url "http://127.0.0.1:3000/mcp" --allow-private-targets --out out/scan --machine json --threshold 80

GitHub Actions: /hardproof/ci

Score truth

Full scores are publishable. Partial scores are still useful, but they are not publishable yet (score_truth_status=partial). overall_score is still computed as the effective score (matching partial_score) while gates like trust evidence are missing.

Demo

Follow the Postgres demo (x07-native authoring + verification artifacts): /mcp/demo

Want to build MCP servers in x07? Start here: /mcp

Sample report

Sample viewer: /hardproof/report-viewer

Canonical sample scan report JSON: https://github.com/x07lang/hardproof/blob/v0.4.0-beta.8/docs/examples/hardproof-scan/scan.json (partial) · https://github.com/x07lang/hardproof/blob/v0.4.0-beta.8/docs/examples/hardproof-scan-full/scan.json (full)

Feedback

Please file issues here: https://github.com/x07lang/hardproof/issues/new/choose