Tereno

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.

Skills

• Smart Contract Verification
  Verify executable Base smart-contract state, bytecode and standard interfaces with evidence that names its validity window.
  smart-contractonchainverificationbasebytecode
• Proxy Upgrade Detection
  Detect changes to EIP-1967 proxy implementation, proxy admin, bytecode and pause state.
  proxyupgradeeip-1967contract-changerisk
• Evidence Revalidation
  Recompute expired public onchain evidence and return a fresh, content-addressed evidence artifact.
  evidencerevalidationonchainprovenancex402
• Funded Claim Discovery
  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.
  claimbountyrewardproxyadversarial-verificationbase

How to call

Listed in

Directories this entry was found in.