QWED-AI

QWED-AI/qwed-tax

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

4 good first / help-wanted issues · Python · last activity Jul 23, 2026

1 stars 2 forks 1 watchers Python Apache License 2.0
ai-agents ai-safety ai-verification decimal determinism fail-closed fintech formal-verification gst india-tax irs llm-safety payroll python qwed-ai tax tax-verification verification withholding z3-solver
View on GitHub Website
4 Open Issues Need Help Last updated: Jul 23, 2026

Open Issues Need Help

View All on GitHub
ClassificationGuard naming collision: state ABC Test vs federal IRS Common Law 3 months ago
bug good first issue architecture
QWED-AI/qwed-tax
1

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

Python
#ai-agents#ai-safety#ai-verification#decimal#determinism#fail-closed#fintech#formal-verification#gst#india-tax#irs#llm-safety#payroll#python#qwed-ai#tax#tax-verification#verification#withholding#z3-solver
Export TaxPreFlight, TaxDiagnosticResult, and all guards from __init__.py 3 months ago
enhancement good first issue
QWED-AI/qwed-tax
1

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

Python
#ai-agents#ai-safety#ai-verification#decimal#determinism#fail-closed#fintech#formal-verification#gst#india-tax#irs#llm-safety#payroll#python#qwed-ai#tax#tax-verification#verification#withholding#z3-solver
Ecosystem alignment: add ruff to dev deps and .qwed.yml 3 months ago
enhancement good first issue
QWED-AI/qwed-tax
1

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

Python
#ai-agents#ai-safety#ai-verification#decimal#determinism#fail-closed#fintech#formal-verification#gst#india-tax#irs#llm-safety#payroll#python#qwed-ai#tax#tax-verification#verification#withholding#z3-solver
Rename gusto_interceptor.py to settlement-agnostic name 3 months ago
enhancement good first issue
QWED-AI/qwed-tax
1

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

Python
#ai-agents#ai-safety#ai-verification#decimal#determinism#fail-closed#fintech#formal-verification#gst#india-tax#irs#llm-safety#payroll#python#qwed-ai#tax#tax-verification#verification#withholding#z3-solver