Us Tax Model

Us Tax Model: US federal income tax forms and instructions as executable data.

Us Tax Model provides US federal individual income tax forms and instructions as public, cited, machine-checkable data. It includes a guided self-preparation interview that asks questions, decides applicable forms, computes values, and explains every result. The software never files, signs, or transmits a return, keeping all data on the local machine. It encodes the IRS published procedure rather than the Internal Revenue Code. The repository features atom-based expressions, a build-time checker, integer arithmetic, and independent verifications against multiple engines.

Us Tax Model at a glance

Best for: Software engineer, Researcher
Runs on: open source
Pricing: Free
Released: October 2026
Category: AI productivity tool
Website: github.com/emmilco/us-tax-model

Key features

YAML forms with a citation on every line
Closed atom vocabulary for computed lines
Build-time checker for references and types
Renderer with English templates in IRS phrasing
Integer arithmetic without floating point
Lean formalization and reference evaluator
Independent transcription and model reviews
Engine comparisons with PolicyEngine and OpenTaxSolver

Use it for

Preparing individual US federal income tax returns
Checking tax calculations against official IRS procedures
Verifying line-by-line tax citations and expressions
Testing tax data with mutation and property checks

Alternatives to Us Tax Model

LLM Wiki Compiler — Compiles raw sources into a citation-traced, interlinked markdown wiki.
Sorted — It runs entirely on-device with private local AI models and cited answers.
Basic Memory — Stores data in local Markdown files that remain accessible and readable by any AI.
FiscaLLM — Tracks per-user AI costs alongside revenue to identify profitable users.
RigCheck — Calculates exact model memory limits and file requirements based on developer specifications.
PDF Craft — It preserves formulas, tables, and document structure during conversion.
OpenDataLoader PDF — It ranks first in benchmarks for layout and table extraction without needing a GPU.
MarkItDown — Converts documents into LLM-friendly Markdown for better token efficiency.
Cube Forms — It creates forms that AI agents can fill out on your behalf.
OpenDocBot — Connects existing AI models to Microsoft Office without per-seat fees or vendor lock-in.
MintPage — Publishes AI-generated text directly to a live, shareable URL.
Unstract — It uses dual LLMs to eliminate hallucinations and ensure extraction accuracy.

All Us Tax Model alternatives