QWED-AI/qwed-tax

Ecosystem alignment: add ruff to dev deps and .qwed.yml about 3 hours ago

enhancement good first issue

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 about 3 hours 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

Export TaxPreFlight, TaxDiagnosticResult, and all guards from __init__.py about 3 hours 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

Open Issues Need Help