{"uid":"cap_VbZeOoVelYaqNwvxr7A8i","slug":"trollbridge-prove-smart-contract-verification-battery-92ffe641","name":"TrollBridge /prove — Smart Contract Verification Battery","description":"The insurance booth for AI agents, with Mini's Agent Supply Store on the side of the road. One hundred checkpoints: pre-transaction safety lanes (honeypot, approval-risk, rug-score, receipt-check, tx-dryrun, permit-scan, airdrop-verdict, deployer-history, wallet-watch, secret-scan at $0.02 USDC per call; the protection tier — /contract-check, /approval-screen, /tx-plain-english, /honeypot-check, /tx-simulate, /redteam, /skill-scan, /verdict, /egress-audit, /tool-gate, /airlock, /repo-scan, /prove, /task-scope — at $0.10; the one-call /shield don't-get-rugged screen at $0.25; the full /preflight bundle at $0.05), bounty intel (bounties, fresh, verdicts, deadlines, sweepstakes, opportunities) at $0.02 USDC per call, trader intel (/prices and /quant at $0.02; /enrich and /token-check at $0.05; /contract-check and /honeypot-check at $0.10; /sec-facts at $0.05), market intel (/markets and /search at $0.05; /grants at $0.02), DeFi intel (/yields and /new-pairs at $0.05; /gas and /defi at $0.02), AI intel (/models at $0.02), agent-ops intel (/prompt-cost, /model-picks, /rpc-speed, /terms-tldr, /scrape, /gigs, /retry-verify, /idempotency, /verify-independent at $0.02; /site-watch, /wallet-check, /code-run, /regulatory-pack, /sage, /cron-watch, /caveat-check, /tripwire, /escrow, /trust, /bridge-fees, /dao-votes, /dev-activity, /dex-arb, /dydx-perps, /funding-rates, /gas-predict, /hack-tracker, /long-short-ratio, /lp-yields, /mev-scan, /open-interest, /perp-basis, /polymarket-odds, /rwa-watch, /sentiment, /stablecoin-flows, /tokenomics, /top-movers, /whale-watch, and /yield-stable at $0.05; /approval-screen, /tx-plain-english, /tx-simulate, and /task-scope at $0.10; /scam-scan deep scan at $5.00 or 30-day subscription at $30.00), supply store (/road-pack combo meal at $0.05; curated datasets, the /audit-prep pre-audit review, and the /prove-state symbolic-execution run at $1.00; the /audit AI-agent audit at $25.00). Every lane answers before money moves — heuristic verdicts, not audits. Don't get rugged.","url":"https://mini-tollbooth.onrender.com/prove?utm_source=zero.xyz","method":"GET","headers":{},"bodySchema":{"type":"object","$schema":"https://json-schema.org/draft/2020-12/schema","required":["input"],"properties":{"input":{"type":"object","required":["type","method"],"properties":{"type":{"type":"string","const":"http"},"method":{"enum":["GET"],"type":"string"},"queryParams":{"type":"object","required":["address"],"properties":{"chain":{"type":"string","description":"base | ethereum (default base)."},"address":{"type":"string","description":"Contract address to verify (0x…). Must have verified source on Sourcify."}}}},"additionalProperties":false},"output":{"type":"object","required":["type"],"properties":{"type":{"type":"string"},"example":{"type":"object"}}}}},"responseSchema":{"type":"json","example":{"lane":"/prove","risk":"low","summary":"…","warning":"NOT_A_PROOF — verification battery, not formal verification.","compiled":true,"verified":true,"risk_score":6,"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).","proof_ledger":[{"basis":"AST walk","claim":"No selfdestruct in compiled sources","status":"proven"}],"solc_version":"0.8.37+commit.f401782d","what_we_cannot_prove":["That the contract contains no vulnerabilities — this battery checks known-dangerous patterns, not all possible behaviors."]}},"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.1","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"probe","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.1/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.1","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.1","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_a8OZkf3ZVumF1rRo0lqYd","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.1","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Compiles a contract's verified source, performs AST analysis for dangerous patterns, and returns a proof ledger of PROVEN vs UNKNOWN security claims for a given contract address","exampleAgentPrompt":"Can you run a verification battery on the smart contract at 0xAbC123... on Base and tell me if it has any dangerous patterns like selfdestruct or delegatecall, and what the risk score is?","exampleUseCases":[{"title":"Pre-investment DeFi contract audit","prompt":"Before I ape into this new DeFi protocol, can you verify the contract at 0x1234567890abcdef1234567890abcdef12345678 on Base and check whether it has any selfdestruct, delegatecall, or tx.origin patterns? Show me the proof ledger."},{"title":"Due diligence on a token contract","prompt":"I'm about to buy some tokens from this project — can you run a security verification battery on their contract 0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef on Ethereum and give me the risk score and any dangerous functions exposed?"},{"title":"Agent pre-transaction safety check","prompt":"Before my agent interacts with the contract at 0xaabbccddeeff00112233445566778899aabbccdd on Base, compile and verify it for dangerous AST patterns and return the full proof ledger so I know what's been proven safe and what's unknown."}],"resultDescription":"Returns a JSON object containing: lane identifier (/prove), risk level label, plain-English summary, a disclaimer that this is a verification battery not formal proof, compilation status (compiled: true/false), source verification status (verified: true/false), numeric risk score (0-100), contract description, a proof ledger array listing individual security claims with their status (PROVEN or UNKNOWN) and basis (e.g. AST walk), the solc compiler version used, and a list of things the battery cannot prove (e.g. absence of all vulnerabilities).","failureModes":["Contract address not found on Sourcify (no verified source) — cannot compile or prove","Invalid or malformed contract address format — request rejected","Contract on unsupported chain — only base and ethereum are accepted","Source code compiles differently than deployed bytecode — mismatch warning","Rate limit or payment failure — 402 response requiring USDC payment","Contract has no source verification — returns unverifiable status"],"whenToPreferThis":"Choose this endpoint when you need to verify a specific smart contract's source code against known-dangerous Solidity patterns (selfdestruct, delegatecall, tx.origin, exposed dangerous functions) and want a structured proof ledger distinguishing PROVEN claims from UNKNOWN ones. It is particularly suited for pre-transaction due diligence on Base or Ethereum contracts that have verified source on Sourcify. Prefer this over general honeypot checks (/honeypot-check) when you need source-level AST analysis and proof claims rather than just behavioral simulation.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-10-12T18:43:58.046Z","isFirstParty":false,"canonicalSlug":"trollbridge-prove-smart-contract-verification-battery-92ffe641"}