Full automated audit of one Solidity contract: surface scan plus reentrancy / access-co…

What it does

Full automated audit of one Solidity contract: surface scan plus reentrancy / access-control / arithmetic / oracle patterns, severity ranking, and a patch suggestion per finding. Returns JSON.

Tags: smart-contract · audit · solidity · security · reentrancy

Use with an agent

1. Discover. Agents find this listing with GET https://bazaar.saylorinnovations.com/discovery/search?query=…, the MCP tool search_resources, or /discovery/resources.
2. Inspect. Fetch /resources/77413.json for the price and payment options.
3. Pay. Call GET https://audit-402.agras-recovery.workers.dev/api/audit/full. The provider answers 402 with its payment requirements. An x402 client signs one of the options below and retries with PAYMENT-SIGNATURE.
4. Execute. The provider returns 200 with the data. Agent Bazaar is not in the request path and never sees your payment.

For humans

You don't need an account or an API key; you need a wallet holding a small amount of USDC on Base, and an x402-capable client (see the examples below). Call the endpoint unpaid first to see exactly what it asks for.

Pricing & payment

Price

$3 / request

Protocol

x402 v2

Auth

No account or API key. Pay per request.

Networks

Base

x402 payment requirements

[
  {
    "scheme": "exact",
    "network": "eip155:8453",
    "payTo": "0x9a033397ffD48BB186C2a7b77aB550B26ee90c35",
    "asset": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
    "amount": "3000000",
    "amountUsd": 3,
    "maxTimeoutSeconds": 300
  }
]

Examples

curl "https://audit-402.agras-recovery.workers.dev/api/audit/full"
# -> 402 Payment Required, accepts[] lists how to pay
# retry with a PAYMENT-SIGNATURE (or PAYMENT header) once paid

const res = await fetch("https://audit-402.agras-recovery.workers.dev/api/audit/full");
if (res.status === 402) {
  const { accepts } = await res.json();
  // pay one of accepts[] via an x402 client, then retry with the payment header
}

import httpx
res = httpx.get("https://audit-402.agras-recovery.workers.dev/api/audit/full")
if res.status_code == 402:
    accepts = res.json()["accepts"]
    # pay one of accepts[] via an x402 client, then retry with the payment header

Details

Provider

autonomous-audit

Endpoint

https://audit-402.agras-recovery.workers.dev/api/audit/full

Machine-readable

/resources/77413.json