The IRS open sourced their direct-file code after it got cut. IIRC similar work done there. https://github.com/IRS-Public/direct-file