Building and testing the practical infrastructure behind autonomous machine commerce.
Atinamos Labs is where we run live experiments in machine-buyable services, autonomous buyers, bounded payments and independent evidence. The work is grounded in real external services and real settlement rather than simulated commerce.
Three live surfaces, three different jobs
The services are deliberately separated so selling, independent evidence and buyer decisions do not collapse into one system.
Atinamos Agent Shop
Machine-buyable services
Live services such as Render Check exposed for machine clients through x402-compatible interfaces.
Open Agent ShopAtinamos Assurance
Independent paid testing
A seller can fund an independent test. Atinamos controls the methodology and publishes what was actually observed.
Proven engine — seller productisation Open AssuranceAtinamos Verification
Signed evidence · API · MCP
The public evidence and research layer where buyers can inspect scoped observations and signed Assurance receipts.
Open VerificationThe Assurance execution engine has crossed the line from architecture to observed production proof.
A real external service was purchased, settlement was independently observed and signed evidence was published without a human manually stepping the routine execution stages.
Real external seller
POST https://keyronne.com/api/json-repair
Real payment
0.001 USDC paid through x402 on Base.
Independent settlement
Base settlement independently observed at block 50996015.
Scoped fulfilment
The advertised kind of JSON deliverable returned and was recorded as FULFILLED.
No overclaim
Correctness and quality remained NOT_EVALUATED.
Signed evidence
A signed Verification receipt was published after the run completed.
The run began from an already-frozen Assurance plan.
It proves the unattended paid execution and publication engine. The complete public seller journey — raw URL, non-spending discovery, independent scope, funding and queueing — is the product stage now being built around that proven engine.
Payment, fulfilment, correctness and quality are different claims.
Atinamos keeps those layers separate rather than converting a small number of tests into a universal trust score.
Payment
Did the payment settle?
Fulfilment
Did the advertised kind of deliverable return?
Correctness
Was the returned content independently checked?
Quality
Was subjective quality independently evaluated?
You can pay to be tested. You cannot pay to be trusted.
Seller funding pays for an independent test. It does not buy a pass, badge, score, approval or favourable result.
Selected milestones
Render Check
A real $0.25 machine-buyable browser verification service exposed through x402.
Proof #3 — 28 August
A bounded buyer independently searched, applied evidence and policy, selected an external seller, paid and validated the purchased result.
First external Atinamos purchase
An unrelated external client purchased Atinamos JSON Repair for 0.005 USDC and received successful fulfilment.
IBANforge — 6 September
Two paid external deterministic controls passed independent MOD-97 checks and produced signed Assurance receipts.
Keyronne — 7 September
First unattended generic external Assurance execution from a frozen plan through payment, settlement, fulfilment and signed publication.
Follow the live work.
The public Assurance and Verification sites contain the current machine-readable evidence, methodology and research. The case study on this site follows the development journey from the original Render Check experiment.