Skip to main content

FAQ

Do I need x07 to use Hardproof?

No. Hardproof is a standalone verifier for MCP servers. It is built with x07, but you do not need to adopt x07 to use it.

How is Hardproof related to x07-mcp?

Hardproof is the verifier path. x07-mcp is the x07-native authoring toolkit for building MCP servers in x07.

Is Hardproof replacing official MCP tools?

No. Official MCP tools provide the protocol baseline. Hardproof runs deterministic checks and emits machine-readable evidence you can use locally and in CI.

  • MCP Inspector: interactive debugging and manual exploration.
  • MCP registry: discovery and publishing.
  • Hardproof: deterministic verification + artifacts for CI/review.

What’s the fastest way to use Hardproof?

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

Why is my score marked partial?

Partial means the scan is still useful, but not fully publishable yet. The common case is missing trust evidence, which keeps overall_score at null whilepartial_score still carries the numeric result.

If you want to require Trust before treating a score as publishable, use --require-trust-for-full-score (scan) or --require-trust-for-full-score (ci).

GitHub Action

The Action is publicly branded as Hardproof Scan (beta). Preferred usage is:

uses: x07lang/hardproof/hardproof-scan@v0.4.0-beta.4

Where do I report issues?

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