ToolVet
75trust / 100

Scan Source

by Tanod pactlint in Security & trust

x402 APIPassing, checked 16 min ago

pactlint (Tanod) contract scan, up to 3,000 nSLOC: static security analysis of Solidity code (solc + Slither + custom detectors), JSON report with file:line findings. Automated, not an audit. Use when an agent holds Solidity source and needs static-analysis findings before deploying or trusting it.

POST https://tanod.dev/v1/scan/source

Last 30 days

All checks passedSome failedAll failedNot checked

Status and outage history · Atom feed

Uptime
100%
Response time
741 ms typical, 1.0 s slowest 5%
Last check
16 min ago
Next check
in 12 min

How to call it

POST https://tanod.dev/v1/scan/source

Each call costs $0.25 in USDC on Base, paid with the request over x402.

Run a free test callOne unpaid request, the way an agent sends it. You see the payment challenge it gets back. Nothing is charged.

Example request

From the listing.

POST https://tanod.dev/v1/scan/source
content-type: application/json

{
  "source": "pragma solidity ^0.8.20; contract A { uint256 public x; }"
}

Parameters

ParameterTypeRequiredDescription
compiler_versionstring or nullNoExact solc version; default: highest release matching the pragmas. Default: null.
filenamestringNoFile name for a single-file source (used in findings). Default: "Contract.sol".
optionsobjectNo
sourcestring or nullNoOne Solidity file. Imports are not allowed; use standard_json for projects. Default: null.
standard_jsonobject or nullNosolc standard-JSON input: {language, sources: {path: {content}}, settings}. Every imported file must be included inline; 'urls' are rejected. Default: null.

Example response

The provider's example. We can't check it without paying.

{
  "disclaimer": "Automated scan, not an audit. Findings may be false positives; absence of findings does not mean the code is safe.",
  "findings": [
    {
      "detector": "swap-zero-min-out",
      "file_line": "Swapper.sol:21",
      "severity": "high"
    }
  ],
  "scan_id": "00000000-0000-4000-8000-000000000000",
  "schema_version": "1.2",
  "status": "ok"
}

Call it from code

The curl command shows the payment challenge. The JavaScript and Python versions pay and call, and never pay more than $0.25.

curl: see the payment challenge
# bash or zsh: see the payment challenge. Nothing is charged.
curl -sS -g -i -X POST 'https://tanod.dev/v1/scan/source' \
  -H 'content-type: application/json' \
  --data-raw '{"source":"pragma solidity ^0.8.20; contract A { uint256 public x; }"}'

# x402 v2 sends the challenge base64-encoded in the PAYMENT-REQUIRED header (v1 sends it in the body).
# To read the header:
curl -sS -g -o /dev/null -D - -X POST 'https://tanod.dev/v1/scan/source' \
  -H 'content-type: application/json' \
  --data-raw '{"source":"pragma solidity ^0.8.20; contract A { uint256 public x; }"}' \
  | grep -i '^payment-required:' | cut -d' ' -f2 | tr -d '\r' | base64 --decode
JavaScript: pay and call
// npm i @x402/fetch @x402/evm viem
import { wrapFetchWithPayment, x402Client } from "@x402/fetch";
import { registerExactEvmScheme } from "@x402/evm/exact/client";
import { privateKeyToAccount } from "viem/accounts";

// Pays at most $0.25 per call.
const client = new x402Client().setSpendControls({ maxAmountPerPayment: "$0.25" });
registerExactEvmScheme(client, { signer: privateKeyToAccount(process.env.EVM_PRIVATE_KEY) });
const pay = wrapFetchWithPayment(fetch, client);

// Not sure it's safe to pay? ToolVet checks it first for $0.005. Pay for that from a separate
// client: this one is capped at $0.25 per payment. GET https://toolvet.app/api/v1/check?url=https%3A%2F%2Ftanod.dev%2Fv1%2Fscan%2Fsource&method=POST
const res = await pay("https://tanod.dev/v1/scan/source", {
  method: "POST",
  headers: { "content-type": "application/json" },
  body: JSON.stringify({
    "source": "pragma solidity ^0.8.20; contract A { uint256 public x; }"
  }),
});
console.log(res.status, await res.text());
Python: pay and call
# pip install "x402[requests,evm]"
import os
from eth_account import Account
from x402 import x402ClientSync
from x402.http.clients import x402_requests
from x402.mechanisms.evm import EthAccountSigner
from x402.mechanisms.evm.exact.register import register_exact_evm_client

# Pays at most $0.25 per call.
client = x402ClientSync().set_spend_controls({"max_amount_per_payment": "$0.25"})
register_exact_evm_client(client, EthAccountSigner(Account.from_key(os.environ["EVM_PRIVATE_KEY"])))

with x402_requests(client) as session:
    res = session.post(
        "https://tanod.dev/v1/scan/source",
        json={
            "source": "pragma solidity ^0.8.20; contract A { uint256 public x; }",
        },
    )
    print(res.status_code, res.text)

Security scan

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

Recent checks

WhenResultHTTPTimePrice
16 min agoPassed402804 ms$0.25
4 h agoPassed4021.1 s$0.25
8 h agoPassed402304 ms$0.25
12 h agoPassed402799 ms$0.25
16 h agoPassed402793 ms$0.25
20 h agoPassed4021.0 s$0.25
24 h agoPassed402385 ms$0.25
27 h agoPassed402816 ms$0.25
31 h agoPassed402844 ms$0.25
35 h agoPassed402829 ms$0.25
38 h agoPassed402795 ms$0.25
42 h agoPassed402784 ms$0.25
45 h agoPassed402279 ms$0.25
2 days agoPassed402278 ms$0.25
2 days agoPassed402360 ms$0.25