ToolVet
78trust / 100

Prove

by TrollBridge in Onchain & crypto

x402 APIPassing, checked 14 min ago

NOT A PROOF — verification battery: compiles the contract's verified source with its own solc build, walks the AST for selfdestruct/delegatecall/tx.origin and exposed dangerous functions, and keeps a proof ledger of PROVEN vs UNKNOWN claims ($0.10). Toll: $0.10 USDC on Base or Solana.

GET
https://mini-tollbooth.onrender.com/prove
Price
$0.1
per call in USDC
Uptime
100%
last 30 days
Response time
220 ms
624 ms slowest 5%
Last check
Passed
14 min ago, next in 13 min

Run a free test callHow to call it

Reliability

All checks passedSome failedAll failedNot checked

Status and outage history · Atom feed

How to call it

GET https://mini-tollbooth.onrender.com/prove

Each call costs $0.1 in USDC on Base, paid with the request over x402.

Run a free test callOne unpaid request, the way an agent sends it. You see the payment challenge it gets back. Nothing is charged.

Example request

From the listing.

GET https://mini-tollbooth.onrender.com/prove?address=0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913&chain=base

Parameters

ParameterTypeRequiredDescription
addressstringYesContract address to verify (0x…). Must have verified source on Sourcify.
chainstringNobase | ethereum (default base).

Example response

The provider's example. We can't check it without paying.

{
  "compiled": true,
  "description": "NOT A PROOF — verification battery: compiles the contract's verified source with its own solc build, walks the AST for selfdestruct/delegatecall/tx.origin and exposed dangerous functions, and keeps a proof ledger of PROVEN vs UNKNOWN claims ($0.10).",
  "lane": "/prove",
  "proof_ledger": [
    {
      "basis": "AST walk",
      "claim": "No selfdestruct in compiled sources",
      "status": "proven"
    }
  ],
  "risk": "low",
  "risk_score": 6,
  "solc_version": "0.8.37+commit.f401782d",
  "summary": "…",
  "verified": true,
  "warning": "NOT_A_PROOF — verification battery, not formal verification.",
  "what_we_cannot_prove": [
    "That the contract contains no vulnerabilities — this battery checks known-dangerous patterns, not all possible behaviors."
  ]
}

Call it from code

The curl command shows the payment challenge. The JavaScript and Python versions pay and call, and never pay more than $0.1.

curl: see the payment challenge
# bash or zsh: see the payment challenge. Nothing is charged.
curl -sS -g -i 'https://mini-tollbooth.onrender.com/prove?address=0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913&chain=base'

# x402 v2 sends the challenge base64-encoded in the PAYMENT-REQUIRED header (v1 sends it in the body).
# To read the header:
curl -sS -g -o /dev/null -D - 'https://mini-tollbooth.onrender.com/prove?address=0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913&chain=base' \
  | grep -i '^payment-required:' | cut -d' ' -f2 | tr -d '\r' | base64 --decode
JavaScript: pay and call
// npm i @x402/fetch @x402/evm viem
import { wrapFetchWithPayment, x402Client } from "@x402/fetch";
import { registerExactEvmScheme } from "@x402/evm/exact/client";
import { privateKeyToAccount } from "viem/accounts";

// Pays at most $0.1 per call.
const client = new x402Client().setSpendControls({ maxAmountPerPayment: "$0.1" });
registerExactEvmScheme(client, { signer: privateKeyToAccount(process.env.EVM_PRIVATE_KEY) });
const pay = wrapFetchWithPayment(fetch, client);

// Not sure it's safe to pay? ToolVet checks it first for $0.005. Pay for that from a separate
// client: this one is capped at $0.1 per payment. GET https://toolvet.app/api/v1/check?url=https%3A%2F%2Fmini-tollbooth.onrender.com%2Fprove
const res = await pay("https://mini-tollbooth.onrender.com/prove?address=0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913&chain=base");
console.log(res.status, await res.text());
Python: pay and call
# pip install "x402[requests,evm]"
import os
from eth_account import Account
from x402 import x402ClientSync
from x402.http.clients import x402_requests
from x402.mechanisms.evm import EthAccountSigner
from x402.mechanisms.evm.exact.register import register_exact_evm_client

# Pays at most $0.1 per call.
client = x402ClientSync().set_spend_controls({"max_amount_per_payment": "$0.1"})
register_exact_evm_client(client, EthAccountSigner(Account.from_key(os.environ["EVM_PRIVATE_KEY"])))

with x402_requests(client) as session:
    res = session.get("https://mini-tollbooth.onrender.com/prove?address=0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913&chain=base")
    print(res.status_code, res.text)

Security scan

No findings

We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.

Recent checks

WhenResultHTTPTimePrice
14 min agoPassed402223 ms$0.1
4 h agoPassed402277 ms$0.1
8 h agoPassed402185 ms$0.1
13 h agoPassed402212 ms$0.1
17 h agoPassed402250 ms$0.1
Show 10 older checks
21 h agoPassed402622 ms$0.1
26 h agoPassed402584 ms$0.1
30 h agoPassed402210 ms$0.1
34 h agoPassed402211 ms$0.1
38 h agoPassed402207 ms$0.1
42 h agoPassed402586 ms$0.1
45 h agoPassed402191 ms$0.1
2 days agoPassed402237 ms$0.1
2 days agoPassed402201 ms$0.1
2 days agoPassed402254 ms$0.1