{"name":"Tereno","description":"Onchain verification and reusable evidence infrastructure for autonomous agents. Tereno verifies executable smart-contract state on Base, detects proxy implementation and admin changes, and provides reusable evidence through x402.","supportedInterfaces":[{"url":"https://www.tereno.xyz/api/a2a?source=a2a&discovery=tereno-a2a-v1","protocolBinding":"JSONRPC","protocolVersion":"1.0"}],"provider":{"organization":"Tereno","url":"https://www.tereno.xyz"},"iconUrl":"https://www.tereno.xyz/icon-bazaar.png","version":"1.0.0","documentationUrl":"https://www.tereno.xyz/openapi.yaml","capabilities":{"streaming":false,"pushNotifications":false},"defaultInputModes":["text/plain","application/json"],"defaultOutputModes":["text/plain","application/json"],"skills":[{"id":"smart-contract-verification","name":"Smart Contract Verification","description":"Verify executable Base smart-contract state, bytecode and standard interfaces with evidence that names its validity window.","tags":["smart-contract","onchain","verification","base","bytecode"],"examples":["Verify this Base contract before I interact with it: 0x..."],"inputModes":["text/plain","application/json"],"outputModes":["text/plain","application/json"]},{"id":"proxy-upgrade-detection","name":"Proxy Upgrade Detection","description":"Detect changes to EIP-1967 proxy implementation, proxy admin, bytecode and pause state.","tags":["proxy","upgrade","eip-1967","contract-change","risk"],"examples":["Did this smart contract proxy implementation or admin change?"],"inputModes":["text/plain","application/json"],"outputModes":["text/plain","application/json"]},{"id":"evidence-revalidation","name":"Evidence Revalidation","description":"Recompute expired public onchain evidence and return a fresh, content-addressed evidence artifact.","tags":["evidence","revalidation","onchain","provenance","x402"],"examples":["Revalidate this stale onchain evidence artifact."],"inputModes":["text/plain","application/json"],"outputModes":["text/plain","application/json"]},{"id":"funded-claim-discovery","name":"Funded Claim Discovery","description":"Find open, funded claims about Base proxy contracts. Each claim names exactly what a counterexample must show and a reward its opener will pay the first wallet that finds one before the deadline.","tags":["claim","bounty","reward","proxy","adversarial-verification","base"],"examples":["Find funded claims I could challenge on Base","Is there a reward for breaking a proxy claim right now?"],"inputModes":["text/plain","application/json"],"outputModes":["text/plain","application/json"]}]}