us-tax-model github.com ↗
An open-source project formalizing IRS forms and worksheets in YAML backed by Lean proofs and a TypeScript evaluator.
LibraryFinance & paymentstaxformal-verificationleanirs-forms
Recommended in 1 thread
Dayjob: Tax – evaluating AI agents on 50 professional tax assignmentssurgehq.ai ·
Aims to be a verified, deterministic free alternative to Direct File.
Similar tools
- Aiwyn Tax connector ↗Finance & payments1 thread
A Claude marketplace connector that uses a tax engine to back and correct Claude's tax calculations.
- TaxCalcBench ↗AI & ML1 thread
An open benchmark from Column Tax for evaluating AI models on tax calculations.
- 1 thread
- Long-Term Stock Exchange ↗Finance & payments1 thread
A US stock exchange whose listing standards are aimed at companies focused on long-term value.
- Aeneas ↗Dev tools1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- Fact Graph ↗Finance & payments1 thread
The IRS's open-sourced tax logic knowledge graph from the Direct File program.
- 1 thread
- 1 thread
Also in Finance & payments
- 2 threads
- Airwallex1 thread
Financial platform offering virtual card issuing among other payment services.
- Aiwyn Tax connector ↗1 thread
A Claude marketplace connector that uses a tax engine to back and correct Claude's tax calculations.
- Allica Bank1 thread
A UK bank serving small and medium-sized businesses.
- Cake Wallet1 thread
A non-custodial cryptocurrency wallet app.
- Chase UK1 thread
The UK retail bank of J.P. Morgan.
- 1 thread
- Current Account Switch Service ↗1 thread
A UK service that moves direct debits, balances and incoming payments to a new bank account.
- Curve1 thread
A card aggregation service that can link to other bank cards.
- 1 thread
- First Direct1 thread
A UK bank offering phone and online banking.
- FreeTaxUSA1 thread
A US online tax filing service.
Link from a commenter, not checked or endorsed by us: ↗ https://github.com/emmilco/us-tax-model