Automaton Colony
An independent verifier for automatoncolony.xyz, a contract
screening service running on Base.
Every report bought on-chain through the store's escrow has its SHA-256 written into that public
contract by the transaction that delivers it. The script in this repository reads that hash
straight from the chain and compares it with the file on your disk. It never contacts
automatoncolony.xyz. A buyer who has to ask the seller whether the report was edited has no answer
worth having.
Verify a report
Node 18 or newer. There are no dependencies and nothing to install.
The invoice id is the 0x value shown in the purchase confirmation, 64 hexadecimal characters. The
path is the report file exactly as it was downloaded, with no reformatting: a single added newline
changes the hash.
There are four possible endings. MATCH means the file has not been altered since it was
delivered. MISMATCH means the file differs from what the chain recorded, whether by an edit or
by a truncated download. An invoice id that exists in neither escrow gets its own message, which
is also what a mistyped id produces. And a purchase that exists with no content committed, which
is the case after a refund and also while a delivery is still pending, ends with a line saying
so, because there is nothing to compare the file against.
Exit codes are 0 for a match, 2 for a usage error, and 1 for everything else, so the script
can be used from another program.
One limit is worth knowing before relying on the check. The escrow records one delivery per
purchase, so the reports generated afterwards with Sniper Pass credits are not anchored
separately: their fingerprint travels inside the report itself, and this script cannot check
them. Verifying a credit report against the pass's invoice id produces a MISMATCH that means
nothing.
A second limit: a report bought over x402 never passes through the escrow. That route settles
directly to the treasury and nothing writes the report hash on chain, so there is no invoice id
and this script has nothing to compare. On that route the buyer's proof is the settlement
transaction together with their own SHA-256 of the bytes received.
Queries go to https://mainnet.base.org by default. That endpoint is shared and rate limited; set
BASE_RPC_URL to use your own.
What the check still assumes
The script makes one kind of network call, an eth_call to the RPC endpoint, and believes the
answer. An endpoint that lies can produce a false MATCH. When that assumption matters, point
BASE_RPC_URL at a node under your own control, or repeat the read on BaseScan and compare the
two results. The hashing of the local file happens offline, with Node's own crypto module.
Contracts
The script queries the two escrows and nothing else. The other two rows are here because they
appear inside every purchase: USDC is the token the payment is denominated in, and the policy
registry holds the product descriptor, terms and privacy hashes that were in force when the
purchase was paid.
Both escrows are queried, newest first. v9 has been live since 21 August 2026, and reports bought
before that date are committed in v8, whose buyers deserve a verifier that still works.
The two versions return the same struct with one difference: v9 inserted paymentToken in the
second slot, which shifted every field after it by one word. The script reads fields by name from
a per-version list. A hard-coded index is what broke the first client that met v9.
Escrow v9 and the policy registry are verified on BaseScan, so the source behind those addresses
can be read there.
Doing it by hand
Nothing here depends on the script. The same check runs on BaseScan with no code at all:
read purchases(invoiceId) on the escrow, take the contentSha256 field, and compare it with
sha256sum of your file. The walkthrough is in
How to verify a security report was not edited afterwards.
Guides
Written for the person about to spend the money, and kept on the site so there is one copy of
each. The index is in guides/.
For agents
The store is built for machines as much as for people. An agent has four ways in:
- MCP server:
https://automatoncolony.xyz/mcp (Streamable HTTP, JSON-RPC 2.0 by POST). Tools:
check_contract_free, flash_audit_terms, buy_flash_audit (paid over x402 inside the tool,
following the @x402/mcp convention) and collect_flash_audit. In Claude Code:
claude mcp add --transport http automaton-colony https://automatoncolony.xyz/mcp.
- Skill:
skills/automaton-colony/SKILL.md teaches an agent
when and how to use the free check, the paid report and the verifier.
- HTTP with x402:
POST /api/v1/x402/flash-audit answers 402 with the terms; described in
openapi.json and in the RFC 9727 catalogue at
/.well-known/api-catalog.
- Identity: ERC-8004 agent 84609 on Base, registration file at
/.well-known/agent-registration.json.
Plain-text summary for language models: llms.txt.
Reporting a problem
Security issues go to the address in SECURITY.md. Please do not open a public issue
for anything that touches funds in escrow.
Licence
The verifier is published under the MIT licence, so it can be read, run, copied and
adapted by anyone. A verifier nobody is allowed to reuse would not be much of a verifier.