irs
MCP server for IRS Statistics of Income (SOI) data by ZIP — income, AGI distribution, tax, credits, deductions.
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.
