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
| When | Result | HTTP | Time | Price |
|---|---|---|---|---|
| 1 h ago | Passed | 402 | 184 ms | $0.01 |
| 6 h ago | Passed | 402 | 225 ms | $0.01 |