Wever Labs Agentic Rails

Change proof check

wever_change-proof-check

Read-only

Agent Readiness: submit a coding agent’s change claim (each change with why, files and spec ids) and the evidence (diff summary by file, test results with what each covers and the changes it is cited for, spec references). The signed report says whether the evidence proves the claim: each claimed change with no diff evidence or no passing test that covers it, each test cited for a change it does not cover, each spec item the changes leave open and each diff entry no claim explains. Verdict unproven, partly_proven or proven. POST /api/change-proof-check. Reads only the material in the call: no network request, fetch, money movement, message, sharing, configuration change or external write. Paid URL: 0.10 USDC per call on Base via x402 exact, with the shared 10 signed-wallet free calls per rolling 30 days. Bind X-Wever-Wallet-Proof to the exact JSON arguments and the tool route. Returns a report with an Ed25519 signed receipt. Contract: /api/agent-readiness-contract. Human page: https://weverlabs.com/agent-readiness/.

Tool call template

Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.

{
  "id": 1,
  "jsonrpc": "2.0",
  "method": "tools/call",
  "params": {
    "arguments": {
      "claim": "<claim>",
      "evidence": "<evidence>"
    },
    "name": "wever_change-proof-check"
  }
}

Input Schema

Name	Required	Description
`claim`	Yes
`label`	No	Optional name recorded in the report.
`evidence`	Yes

Schema Changelog

Changes observed during successful MCP inspections.

AddedNov 10, 2026

TDQS

A4.6/5.0

Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare readOnlyHint=true and openWorldHint=false, and the description reinforces this with an explicit no-network/no-write/no-money-movement guarantee. It goes further by disclosing pricing (0.10 USDC via x402 with 10 free calls), the X-Wever-Wallet-Proof binding requirement, and the Ed25519 signed receipt return, all beyond what annotations provide.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The purpose and verdict logic are front-loaded in the first two sentences, and the safety/pricing/auth details follow logically. It is dense but mostly earns its length; the trailing contract and human-page URLs are marginally useful rather than essential.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a complex nested-input tool with no output schema, the description covers the input shape, the evaluation logic, the verdict values, the return artifact (signed report with Ed25519 receipt), and the payment/auth mechanics. An agent has everything needed to call it correctly.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is only 33%, so the description must compensate, and it does: it explains that each change carries why, files and spec ids, and that evidence contains diff summaries by file, test results with what each covers and the changes cited, and spec references. The optional label parameter is not mentioned, leaving a small gap.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and resource: submit a coding agent's change claim plus evidence and receive a signed report on whether the evidence proves the claim. It enumerates the exact failure classes checked and the three verdicts, so an agent can distinguish it from siblings like wever_claim-evidence-check or wever_spec-drift-check without opening a schema.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

The description makes clear the input contract (claim with why/files/spec ids, evidence with diff/tests/spec refs) and the outcome, which implies when to use it. It does not explicitly name an alternative tool or state when-not to use it, so it falls short of a 5.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

All Wever Labs Agentic Rails tools Inspect

Try in Browser

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources

Need Help?