taxy
for macOS · Apple Silicon

Dutch VAT,
quietly
handled.

taxy reads your receipts, keeps your books, and turns every quarter into the five exact numbers the Belastingdienst asks for. You type them in. Three minutes, four times a year.

THE WHOLE PRODUCT, IN ONE PICTURE — EXAMPLE FIGURES

01DROP Any receipt, any language, any currency. Duplicates are caught automatically.
02READ AI extracts amounts, VAT, dates. You approve every line.
03FILE Five numbers, portal-ready, filed by you — never behind your back.
The shape of it

An F1 engine,
shipped in a Volvo.

Underneath: integer-cent arithmetic, statute-pinned law citations, and three independent AI vendors adjudicating every capability before it may touch your numbers. On the surface: one mono face, one grid, one amber dot.

The calm is not decoration. It is what that much rigour looks like when it's finished.

One honest asterisk: reading a receipt sends that image to Anthropic's cloud AI, once. Then everything comes home and stays on your Mac.

What taxy can and cannot do — the honest list →
DOWNLOAD TAXY
v0.8.15 · APPLE SILICON · 4.7 MB
FREE FOR FOUNDING FRIENDS

First launch, one extra step: macOS will warn you — taxy is signed by its builder, not yet by Apple. Right-click → Open → Open. Once. Then it opens like anything else, and updates arrive by themselves.

Built to
  • Wet OB 1968 — Art. 9, 12, 14, 15, 17a
  • SBR NT20 (20251210.a) — elements verified live
  • NT20 BR-BD-03.x — 7/9 OB rules enforced
  • Byte-deterministic 7-year audit reproducibility
  • Integer-cents arithmetic · one round per VAT calc
  • WCAG 2.1 AA — axe-core automated checks, core screens
  • Locked by 80+ compliance tests
  • 74 golden filing scenarios — zero-variance engine tie-out
  • 14+ capabilities carry tri-vendor adjudication verdicts

Every line above is enforced by a test that fails the build if it stops being true.

spec-a394ca13

Can & cannot
Zero ambiguity. Read this before you trust a number.
taxy CAN
  • Read Dutch and foreign receipts (photo or PDF) with AI and pull out the amount, VAT, and date — you check every result before it counts.
  • Classify 21% / 9% / 0% VAT and compute every BTW box in exact cents.
  • Handle reverse-charge purchases and sales (EU and non-EU services), and validate VAT numbers, including country-code mismatches.
  • Convert foreign currency at the correct rate for each receipt.
  • Apply the KOR small-business scheme correctly, including holding a filing when your turnover nears the €20,000 ceiling.
  • Build your quarterly return as the exact five portal numbers, record the filing, and produce an accountant-grade audit PDF.
  • Flag duplicate receipts automatically so you never claim the same expense twice; back up and restore your data; update itself when a new version ships.
  • Keep everything on your Mac — no account, no sync.
taxy CANNOT
  • Give tax advice. taxy computes and informs — it never advises. All amounts are estimates; verify before filing.
  • File for you. There is no direct submission — you type the five numbers into the Belastingdienst portal yourself (about 3 minutes).
  • Do your income tax (inkomstenbelasting). taxy is BTW/VAT only.
  • Decide tricky deduction edge cases (BUA staff benefits, mixed business/private use) — taxy flags these for you or your accountant instead of guessing.
  • Read receipts fully offline — reading a receipt sends the image to Anthropic's AI to be read; everything else stays on your Mac.
  • Import bank feeds (not yet).
  • Replace an accountant's judgment — a human accountant review is planned after V1, and taxy says so rather than hiding it.