Agiscorecard Web3 Proof

io.github.f-tiger由 GitHub 帳號 f-tiger 發布v1.7.0更新於 Oct 24, 2026

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

發布方自己的服務:Proof Holdings

已驗證Streamable HTTP可網頁執行金融開發者工具

概覽

AI 產生的概覽

面向 Proof Plan zkML 計算器的遠端 MCP 伺服器:可檢索公開的 AI/Web3 工具參考,並依你提供的量測資料估算證明與驗證成本。

可以做什麼
依英文或中文名稱檢索公開的 AI/Web3 工具與引用頁面,空查詢會列出可用工作表。依 ID 取得工具參考,包含方法說明、限制、官方來源連結和虛構範例。依你自己的量測資料估算 zkML 證明運算與鏈上驗證成本,檢查單一工作的延遲目標,並保留模型、輸入與驗證金鑰的雜湊值。
適用情境
當你想讓助理查閱這些 Web3 計算器已公布的方法與限制,或把自己的基準量測資料整理成粗略的 zkML 證明與驗證成本及延遲方案、用來規劃整合時,適合使用。
執行需求
遠端 streamable HTTP 端點;未宣告 API 金鑰、環境變數或請求標頭。README 提到各主機依 IP 限流並限制請求內容大小,且支援不帶 Origin 標頭的用戶端。
安裝前請注意
它只做整合規劃,不產生也不驗證零知識證明,未連接錢包、即時鏈、轉帳或證明驗證。遠端 MCP 參數會傳送到伺服器,但 README 稱不會保存或記錄其內容。結果依你自己的量測資料推算,屬於估算而非保證。

安裝

在 SourceWeft 中

  1. 開啟 儀表板中的 Agiscorecard Web3 Proof,將其新增到工作區。
  2. 為需要使用其工具的對話啟用該服務。

Web executable,透過 Streamable HTTP。 遠端服務在工作區中設定後即可從網頁執行環境執行。

交給代理程式安裝

把這段提示詞貼上到 Claude Code、Codex、Cursor 等代理程式,或 SourceWeft 對話中。代理程式會讀取該伺服器的安裝指南,先向你展示發布者、端點和登入方式,經你同意後再把它新增到你的客戶端。金鑰不會寫進任何命令。

閱讀 https://sourceweft.com/mcp/io.github.f-tiger%2Fagiscorecard-web3-proof/install.md,並按其中說明把這個 MCP 伺服器接入我的客戶端。修改任何設定之前,先告訴我它的發布者、端點和登入方式,等我確認。不要把 API 金鑰寫進命令或我會提交的檔案;問我金鑰應從哪裡取得。

檢視代理程式所依據的安裝指南

其他 MCP 客戶端

把它新增到你客戶端的 mcpServers 設定中。

{
  "mcpServers": {
    "agiscorecard-web3-proof": {
      "type": "http",
      "url": "https://proof.agiscorecard.com/mcp"
    }
  }
}

README

Web3 Workbench

Ten independent, usable free-beta tools and one hub. Source and generated fixtures are shared; every host serves only its own pages. Existing Agent Delivery Lab remains a separate deployment.

Hub: https://web3.agiscorecard.com/

HostToolImplemented task
reconcile.agiscorecard.comStable ReconcileDeclared invoice/transfer exceptions
evidence.agiscorecard.comAgent EvidenceTask/version evidence, deduplication, uncertainty
route.agiscorecard.comRoute LabBounded fallback sequence planning
protocol.agiscorecard.comProtocol LedgerFive dated profiles, free API/OpenAPI
permit.agiscorecard.comData PermitDeclared grant compatibility and proposed splits
compute.agiscorecard.comCompute LensCost per accepted workload output
incentives.agiscorecard.comIncentive LabOrganic economics and capped rewards
proof.agiscorecard.comProof PlanzkML cost, latency and artifact manifest
calls.agiscorecard.comCall LensStrict decoding of supported token calls
disclosures.agiscorecard.comRWA NotesDated disclosure comparisons

Development and release

Node.js 22+ and Python 3 with Pillow and DejaVu Sans fonts are required. Browser/offline calculation engines have no npm dependencies; the remote MCP server uses the pinned official SDK.

sh
python3 -m pip install -r requirements-build.txtnpm cinpm testpython3 scripts/check_html.pynpx --yes wrangler@4 deploy --dry-run

npm test builds 55 HTML pages, 30 worked scenarios, per-host metadata and share images, and the offline bundle, then runs 71 tests. WEB3_BUILD_REVISION pins the actual checked-out commit. Generated dist/, release module and credential-free generated Wrangler config are not committed.

The path-scoped GitHub workflow validates, checks all hostname ownership, binds the existing database, deploys the Worker, and checks every production host and asset against the build. A collision stops before publication. Existing credentials remain in GitHub Secrets. Branch runs validate only; main may deploy. Do not substitute the trigger SHA for the checkout SHA after the stale-main guard.

Only web3_studio_feedback is created/read/updated. No other database table is modified. Optional feedback is constrained enums; IP is used only as the transient rate-limit key. QA samples are explicitly flagged and excluded from demand. Grouped submission counts never represent verified individuals. TTL cleanup occurs on feedback/stats requests and may be delayed during inactivity.

Product limits

Browser inputs are local. No model provider, wallet, live-chain simulation, transfer, subscription or proof verification is connected. Documentation states each tool's own limits. Protocol records are editorial summaries, not complete schemas or compatibility certification. New algorithms mean reproducible combinations of known methods here, not a novel cryptographic or economic theorem.

Research and falsification conditions: portfolio research. Every tool's catalog includes alternatives, scope, commercial hypothesis and a concrete validation condition. Public downloads are limited to the explicit offline bundle and its license; no repository archive is served.

Experience, discovery and sharing (1.1)

Each tool has three runnable scenarios, per-record-group CSV paste, same-tab result comparison, Markdown reports and print/PDF output. Public share links allow only known scenario IDs; private inputs never appear in generated URLs. Clearing/reloading the tab removes in-memory records and comparisons.

Search titles describe actual tasks. Human-readable methods and examples back the structured WebApplication, FAQ and breadcrumb data. No fabricated ratings, usage statistics or rich-result promises. guide.md, tool.json, input.schema.json, llms.txt and llms-full.txt are navigation/integration aids, not special eligibility requirements for AI search. The schema is structural; the engine enforces its additional constraints.

/publish.html on the hub provides ten share cards and optional branded links. Distributed HTML card links use rel="nofollow". No automatic outreach, paid links or third-party endorsements are claimed.

The existing weekly/manual IndexNow workflow validates the key and the canonical page set on each of the 11 hosts before submitting. It never submits on push. node scripts/indexnow.mjs --check validates without submitting. A 200/202 submission response is not evidence of indexing or ranking.

Release smoke verification uses asset-manifest.generated.json to hash-check the exact assets for each host; generated files are excluded from git. See growth implementation record.

MCP (1.2)

Unified endpoint: https://web3.agiscorecard.com/mcp. Each tool host also exposes /mcp, scoped to its own calculator. Streamable HTTP, no key; official SDK 2.0.0 handles 2026-07-28 per-request negotiation and stateless 2025-era compatibility. GET/DELETE return 405; persistent subscriptions are not offered. The existing AGI Scorecard main-domain MCP remains separate.

The hub exposes ten deterministic calculators plus search and fetch. All results preserve the existing algorithms, exact amounts, release revision, methodology citation, date and limits. resources/list exposes public method references, capabilities and fictional inputs. No arbitrary resource fetching or private report publication is implemented. Annotations declare read-only, non-destructive, idempotent, closed-world tools.

Remote MCP arguments are sent to the server, unlike browser/offline inputs. Application code neither persists them nor logs their contents or sends them to a model/source URL. Hosting and the connecting client's own policies still apply. No D1 writes occur in MCP. A separate 120/minute/IP binding limits calls across the 11 hosts; body size is at most 128 KiB including the protocol envelope. Missing rate-limit binding fails closed. Exact Origin validation rejects unknown browser origins; server-side clients without Origin remain supported.

/for-agents.html is the human setup/citation/privacy guide. /.well-known/mcp.json is explicitly a descriptive metadata file, not a standard auto-install mechanism or official registry listing. MCP availability is not evidence of AI search citations.

Tests use the official 2.0 client pinned to 2026-07-28 and the official 1.30 client for 2025-era compatibility. scripts/mcp-smoke.mjs repeats negotiation, tool discovery, resources, all 30 scenarios, citations and host scoping against the deployed endpoint. CI installs the lockfile, retains the stale-main guard and uses existing Cloudflare credentials. No new scheduled workflow is introduced.

Market context and conversion measurement (1.3)

The hub now serves source-stamped /market.html, /briefs.html, three task guides, /api/market, /api/briefs and /updates.xml. Price snapshots refresh on request after five minutes; official metadata after one hour. Stale/unavailable data is explicit and data older than a day is hidden. These are venue references, not executable quotes or verified payments. Public source polling does not change any browser or MCP calculation contract.

Optional, off-by-default fixed-category usage measurement writes only the isolated web3_studio_events table. /api/growth excludes QA unless ?qa=1; reports count opt-in events, not people, linked sessions, verified backlinks or revenue. A separate MEASURE_LIMIT binding caps submissions. /api/stats feedback is separate. Run node scripts/market-smoke.mjs after deploying and node scripts/growth-audit.mjs --check for source/discovery/measurement health. The existing daily fleet-autopilot retains 30 daily diagnostic records.

Research board (1.4)

/market.html now combines eight curated assets, daily history comparisons, source-linked research questions and a local evidence notebook. /api/research is a separate read-only feed; the original four-asset /api/market contract and deterministic MCP tools remain available. status describes snapshot retrieval; every quote has its own freshness status. Changes use daily samples within two hours of the intended interval, never synthetic candles. Missing history does not erase usable current prices.

Watchlist baselines and notes are written to browser storage only on explicit Save, expire after 30 days and have separate Delete actions. They are never uploaded. Export is a user-authored Markdown file, not automatic publication or an AI verdict. Four optional fixed-category events support evaluating the experiment without collecting notes, saved prices or asset selections. scripts/research-smoke.mjs verifies actual source/history connectivity after deployment; the existing daily audit covers this feed too.

Read-only aggregate coverage (2026-10-11)

GET and HEAD /api/growth and /api/stats execute SELECT statements only. Schema setup and 35-day retention cleanup happen on accepted event/feedback submissions, never during reporting. Missing storage or tables return HTTP 503 with status: "unavailable" and groups, daily, today set to null. An empty array is only returned after a successful query. Internal errors and raw inputs are not included in public responses.

Both endpoints include generatedAt, asOf, timezone: "UTC", scope, window, and metric definitions. groups retains its legacy dimensions: 28 rolling days for growth; 35 rolling days of feedback for stats. daily contains sparse date groups for the previous 28 complete UTC days; today is separate and partial. Every window states inclusive start and exclusive end. Every row includes site; the hub queries all sites without duplicating totals onto each tool host. A tool hostname returns only its own rows. Growth's qa=1 is QA-only and uncached, while default growth excludes QA. Feedback retains the qa dimension in all groups: business reports must filter qa=0 explicitly. Self-reported own_completed does not establish an independently verified task. Counts are events/submissions, not users, MCP demand, registrations or revenue.

Successful public reads advertise Cache-Control: public, max-age=3600; unavailable responses and growth QA reads use no-store. generatedAt records query generation, not a claim that source data is fully processed. This change adds no new event collection, D1 tables, persistent visitor IDs or scheduled job. For a deployment that must avoid synthetic business activity, set FLEET_READ_ONLY_PROBE=1: smoke scripts verify assets, metadata and sources but skip feedback/event submissions, aggregate reads, and MCP tools/call requests. The reporting collector can then fetch each aggregate exactly once.

來源:sites/web3-studio/README.md,提交 65070a3

工具

3

fetch

Read a Web3 method and sources

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.

輸入參數id必填

plan_zkml_costs

Proof Plan

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.

輸入參數jobs必填verifyMs必填budgetUsd必填inputHash必填modelHash必填statement必填proofBytes必填gasPerVerify必填gasPriceGwei必填proveSeconds必填nativePriceUsd必填verifierVersion必填另有 3 個

版本歷史

1
  1. v1.7.0最新Oct 10, 2026

評分

已滿足適用檢查項的 90%

該評分衡量此收錄條目的完整程度,依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價,也不表示伺服器安全或目前可用:可連通性是帶日期的檢查結果,評分也不包含安裝量或使用者評價。

  • 近 30 天內可連通必需25 分
  • 已宣告認證方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 圖示10 分
  • 文件15 分
  • 授權條款10 分

    請在儲存庫或註冊中心條目中宣告授權條款。

其他 Proof 整合