AstraNL

For any agent that holds a budget, and for any principal before giving an agent a goal and money: declare the budget and its controls, get an audit against thirteen loss patterns taken from sourced incidents of AI agent overspending. Returns verdict READY, CONDITIONAL or NOT_READY, score, every open finding with its fix and the incidents it was seen in, worst-case exposure computed from your own numbers, recommended fuse settings and an ed25519-signed receipt to show a principal. Unknown counts

For anyone who runs more than one agent, or one agent among strangers: declare how your agents claim work, retry, hand over, verify and stop, and get an audit against sixteen measured patterns of lost work: duplicated effort, repeated side effects, loops, amplified errors, lost context, locks nobody releases. Returns verdict, score, every open finding with the measurement behind it, its fix and the move that closes it, the first three steps and an ed25519-signed receipt. Unknown counts as open.

Before an agent approves a supplier, pays an invoice or signs an order: verdicts from official sources for a Dutch or EU company. KvK Handelsregister registration active or not, supplied name against the registered names, EU VAT number valid in VIES and its name against the register, EU sanctions list candidates, insolvency published in the Dutch Centraal Insolventieregister. Returns flags, open questions and an ed25519-signed receipt. Verdicts only, no register data. Give at least one of kvk_nu

For an agent helping someone buy, insure or service a car in the Netherlands: live RDW open register read for one licence plate. Make, model, first registration, APK inspection expiry, WAM insurance, export, open recall, taxi use, odometer judgement, import history, fuel and emissions, plus attention flags and a signed receipt.

Validate one EU VAT number live in the European Commission VIES service. Returns valid or not, the registered name and address when the member state discloses them, the check time, and an ed25519-signed receipt an agent can attach to an invoice or onboarding record.

Screen one person or company name against the EU consolidated financial sanctions list. Returns candidate matches with entity id, listed name, programme and country, the generation date of the list, and a signed receipt. Candidates are a stop-and-verify signal, never an accusation.

Call before one spend of money or significant effort. Ten ordered checks from the ABA-1 protocol: instruction source, envelope, duplicate intent, counterparty, price sanity, expected value, stop-loss, irreversibility, delivery binding, record. Returns GO, CAUTION or STOP with the reason per check and a signed receipt for the spend record. With agent and intent_id the service remembers the intent, so a retry after a restart is caught as a duplicate. Undeclared never passes.

Look up one UK company by its 8-character company number, or search by name. Live from Companies House: status, type, incorporation date, registered office, SIC codes, accounts and confirmation statement due dates, plus flags for not active, accounts overdue, confirmation statement overdue, insolvency history and disputed registered office. Signed receipt included.

For an agent helping someone buy or check a used car in the United Kingdom: official DVSA MOT history for one registration plate. Make, model, fuel, first use, every test with date, pass or fail, odometer reading and defect count, plus flags when the odometer went down between tests or the last test failed. Signed receipt included.