Skip to content

io.github.f-tiger/agiscorecard-web3-proof

by f-tiger · remote · no sign-in to list tools · v1.7.0 · published by GitHub user f-tiger

Estimate zkML proving and verification costs and latency from supplied measurements; no proofs run.

Changes · 1
CompareRegistry entry

3 tools: 1 change things and 2 only read.

Scanned Oct 21, 2026

1 check matched something in the tool definitions. No finding is not a safety guarantee. How the checks work.

claude mcp add --transport http agiscorecard-web3-proof https://proof.agiscorecard.com/mcp

Findings

Matches of fixed checks, with the text they matched.

1 warn
  • Warnplan_zkml_costs

    The server marks "plan_zkml_costs" read-only (readOnlyHint: true), and its own name, description or input give the class "write".

    Matched text

    annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}; The input takes a statement or command to run (input.statement), which can change anything it can reach.

    What this check looks for

Tools

Open a tool for its reasons and full description. Descriptions are the publisher's own words, shown as they are.

3 tools

Changes things 1Claude Code: ask
  • plan_zkml_costsProof Plan estimates proving compute and onchain verification costs from your own measurements.1 finding

    Why it is in this group

    • The input takes a statement or command to run (input.statement), which can change anything it can reach.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.

    Findings

    • Warn

      The server marks "plan_zkml_costs" read-only (readOnlyHint: true), and its own name, description or input give the class "write".

      Matched text

      annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}; The input takes a statement or command to run (input.statement), which can change anything it can reach.

      What this check looks for
    Description, as the server wrote it
    Proof Plan estimates proving compute and onchain verification costs from your own measurements. It checks a per-job latency target and preserves model, input and verification-key hashes. It plans an integration; it does not generate or verify a zero-knowledge proof. No ZK proof generation or cryptographic verification. File hashing verifies bytes only; it is not proof of model correctness. Retrieve proof with fetch or read its example resource to obtain exact inputs. Parameters are processed remotely without application persistence.

    Annotations the server declares

    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
Only reads 2Claude Code: allow
  • fetchRetrieve a public tool reference by the ID returned from search.No findings

    Why it is in this group

    • The name "fetch" says "fetch": a word for reading.
    Description, as the server wrote it
    Retrieve a public tool reference by the ID returned from search. Contains methodology, limits, official source links and fictional worked examples; no user records. Cite the returned canonical URL.

    Annotations the server declares

    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Install

Pinned to version 1.7.0. Values in angle brackets are yours to fill in.

claude mcp add --transport http agiscorecard-web3-proof https://proof.agiscorecard.com/mcp

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json
{
  "permissions": {
    "allow": [
      "mcp__agiscorecard-web3-proof__search",
      "mcp__agiscorecard-web3-proof__fetch"
    ],
    "ask": [
      "mcp__agiscorecard-web3-proof__plan_zkml_costs"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. It assumes the server is installed as agiscorecard-web3-proof. Review it before you use it.