Step 2 of 4 · ProjectsAPIs
QWED-Tax
Deterministic check, built on the Z3 solver, that verifies AI-generated tax decisions before they run.
What it does
A verification gate for AI-generated tax decisions: it tests a decision's payload with the Z3 solver and returns Allow, Block or Unverifiable. Python and JavaScript packages run locally without API calls, with guards for US payroll, classification, reciprocity and nexus and for Indian GST, crypto and remittance rules. Not a calculator or filing tool; unsupported payloads are blocked; Apache-2.0.
Where it fits on the map
Similar projects
Of the same kind, for a shared jurisdiction or tax area. Not a ranking.
- Attest.NET library that validates ID numbers, tax codes, VAT numbers and postal codes in 87 countries.
- Corporation-Accounting-SkillFastAPI service for an accountant agent: ASC 740 provision checklists, book-to-tax differences, journals.
- DomibusDomibus, the European Commission's open AS4 message handler for eDelivery, used for e-invoicing exchanges.
- eric-rsRust bindings and SDK for ERiC, the ELSTER library for submitting German tax filings.
- FiscalBr.NETC# library that generates Brazil's SPED files and other tax and accounting declarations.
- HMRC CRS/FATCA reporting serviceHMRC's CRS and FATCA reporting service: registration, institution management and report upload.
Maintain this project?
Link to this page from your README, so readers find the facts, the notes and where it fits. The badge is a small SVG served from this site.
[](https://tax-oss.com/projects/qwed-tax/)