# minia2a.uk Smart Contract Security Audit

> minia2a.uk Smart Contract Security Audit is a paid API for AI agents from minia2a.uk, paid per call via x402, $2/call, status unknown (last checked 2026-09-15).

Scans Solidity smart contracts for 10 known vulnerability patterns including reentrancy, access control flaws, and integer overflow via static analysis

## Facts

- Endpoint: GET https://minia2a.uk/x402/smart-contract-audit
- Price: $2/call
- Payment: x402
- Status: unknown
- Last checked: 2026-09-15
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/minia2a-uk-smart-contract-security-audit-2bebb0b7
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_K37y0vq45TbAEzcxJzAXO

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability minia2a-uk-smart-contract-security-audit-2bebb0b7
```

Example prompt: Run a quick security audit on my Solidity smart contract and check it for reentrancy, access control issues, integer overflow, and the other common vulnerability patterns before I deploy it.

## When to prefer this

Choose this endpoint when you need a fast, deterministic, low-cost pre-deployment security check on a Solidity smart contract and want coverage of the 10 most critical static vulnerability patterns. It is ideal as a CI/CD gate or quick triage step before a full manual audit, not as a replacement for comprehensive security review. Prefer this over LLM-based contract review when you need reproducible, rule-based results at $2 per scan.

## Known failure modes

- Invalid or unparseable Solidity code returns an error with no findings
- Missing required input parameter causes 400-level response
- Payment not processed correctly via x402 results in 402 Payment Required
- Contract too large or complex may exceed static analysis scope
- False negatives possible as only 10 fixed patterns are checked — dynamic vulnerabilities not covered

## How this service works

Smart contract security audit, solidity vulnerability scan. 11 static patterns: reentrancy, access-control, integer-overflow, unvalidated-call, tx.origin auth, delegatecall, selfdestruct, block.timestamp, weak-randomness, assert misuse, owner-change. Fast pre-check, deterministic. Case: minia2a.uk/blog/blog-ai-contract-audit-august-2026.html

## Output

A deterministic static analysis report listing which of the 10 vulnerability patterns were detected in the submitted Solidity contract, including categories such as reentrancy, access-control, integer-overflow, unvalidated-call, tx.origin auth, delegatecall, selfdestruct, block.timestamp misuse, assert misuse, and owner-change flags.

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "required": [
  "input"
 ],
 "properties": {
  "input": {
   "type": "object",
   "properties": {
    "type": {
     "type": "string"
    },
    "method": {
     "type": "string"
    },
    "bodyType": {
     "type": "string"
    },
    "queryParams": {
     "type": "object"
    }
   }
  },
  "output": {
   "type": "object",
   "properties": {
    "type": {
     "type": "string"
    }
   }
  }
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/minia2a-uk-smart-contract-security-audit-2bebb0b7/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from minia2a.uk](https://www.zero.xyz/host/minia2a.uk/llms.txt)