Reference

ctx_verify

Input contract and parameters for ctx_verify.

Status by featureReviewed September 2026

MCP tool · Analysis tools

Call this tool through your MCP client. Its availability depends on your active configuration and profile.

This registry contract is separate from the SDK. For terminal commands, use the CLI reference.

Parameters

Generated from the registered input schema. “Required” reflects the schema; individual actions can impose additional requirements.

actionstring

stats|proof|v2

Accepted: statsproofv2

formatstring

Output format: summary|json|both (default summary)

Accepted: summaryjsonboth

Exact JSON schema

Inspect the complete input schema

{
  "properties": {
    "action": {
      "description": "stats|proof|v2",
      "enum": [
        "stats",
        "proof",
        "v2"
      ],
      "type": "string"
    },
    "format": {
      "description": "Output format: summary|json|both (default summary)",
      "enum": [
        "summary",
        "json",
        "both"
      ],
      "type": "string"
    }
  },
  "required": [],
  "type": "object"
}

Runtime description

The following is the tool's own agent-facing description, reproduced from the reviewed registry. It can contain implementation terminology; it does not expand the public stability commitment.

Read the agent-facing description

Verification observability — tool call statistics and claim-based verification.
WORKFLOW: action=stats to monitor tool usage; action=proof|v2 for Lean4 proof verification.
Actions: stats|proof|v2 (format=summary|json|both, default summary).
ANTIPATTERN: not for runtime verification during active development — use for periodic audit.

Sources & versions3 references Reviewed 18 Sept 2026

mcp_manifest.rsrust/src/core/mcp_manifest.rsReviewed checkout
registry.rsrust/src/server/registry.rsReviewed checkout
dynamic_tools.rsrust/src/server/dynamic_tools.rsReviewed checkout

Core checkout: 50fbff09c9
Installed runtime: 3.10.2
SDK release: 1.1.0

Separate baselines for source, CLI/configuration and SDK contracts. Review does not certify every platform or integration.

Versions & compatibility