81trust / 100

Solidity Scan

by Solidity heuristic pattern scan in Onchain & crypto

x402 APIPassing, checked 1 h ago

Deterministic static pattern scan of Solidity smart-contract source text - a fixed ruleset flagging tx.origin authentication, delegatecall, selfdestruct, unchecked low-level calls, unchecked .send(), floating pragmas, block-timestamp dependence, weak block-derived randomness, value-call reentrancy surface, inline assembly, ecrecover, and missing SPDX headers. Returns line-anchored findings with severities.

POST https://agent402.tools/api/solidity-scan

Last 30 days

All checks passedSome failedAll failedNot checked
Uptime
100%
Response time
184 ms typical, 184 ms slowest 5%
Last check
1 h ago
Next check
any minute now

How to call it

# See the payment challenge (nothing is charged)
curl -i -X POST "https://agent402.tools/api/solidity-scan" \
  -H "content-type: application/json" \
  -d '{"source":"pragma solidity ^0.8.0;\ncontract Wallet {\n  function drain(address payable to) external {\n    require(tx.origin == msg.sender);\n    to.call{value: address(this).balance}(\"\");\n  }\n}"}'
import { wrapFetchWithPayment } from "@x402/fetch";
import { x402Client } from "@x402/core/client";
import { ExactEvmScheme } from "@x402/evm/exact/client";
import { privateKeyToAccount } from "viem/accounts";

const client = new x402Client().register(
  "eip155:8453",
  new ExactEvmScheme(privateKeyToAccount(process.env.AGENT_KEY)),
);
const pay = wrapFetchWithPayment(fetch, client);

// Not sure it's safe to pay? Preflight it first for $0.005:
// GET https://toolvet.app/api/v1/check?url=https%3A%2F%2Fagent402.tools%2Fapi%2Fsolidity-scan
const res = await pay("https://agent402.tools/api/solidity-scan", {
  method: "POST",
  headers: { "content-type": "application/json" },
  body: JSON.stringify({"source":"pragma solidity ^0.8.0;\ncontract Wallet {\n  function drain(address payable to) external {\n    require(tx.origin == msg.sender);\n    to.call{value: address(this).balance}(\"\");\n  }\n}"}),
});
console.log(await res.json());

Example input

{
  "source": "pragma solidity ^0.8.0;\ncontract Wallet {\n  function drain(address payable to) external {\n    require(tx.origin == msg.sender);\n    to.call{value: address(this).balance}(\"\");\n  }\n}"
}

Example output

{
  "disclaimer": "Deterministic heuristic pattern check - not a compiler, not an audit.",
  "findings": [
    {
      "line": 4,
      "message": "tx.origin used - authentication via tx.origin is phishable; use msg.sender.",
      "rule": "tx-origin",
      "severity": "high",
      "snippet": "require(tx.origin == msg.sender);"
    }
  ],
  "lines": 7,
  "summary": {
    "high": 2,
    "info": 1,
    "low": 1,
    "medium": 1
  }
}

Security scan

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

Recent checks

WhenResultHTTPTimePrice
1 h agoPassed402184 ms$0.01
6 h agoPassed402225 ms$0.01