A proof-of-concept formalization of the IRS federal tax forms
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
The linked repo is 100% vibe coded, but it was built on a handful of principles:- Most tax software derives trust from the party who maintains it (e.g. Intuit, the IRS, etc.)- Vibe coded software lacks this trustworthiness.- Therefore any formalization should build in verifiability and mechanisms that make it possible for users/maintainers to trace claims/interpretations back to authoritative source documents.It's very much a back-burner passive project right now (do not use this for anything real!), but I feel strongly that something like this ought to exist for the public good. I built it to get a sense of what the shape of what such a thing might be.
HN · launched Oct 28, 2026 · 82 upvotes (top 13%) · 0 views
Niche: identity and formal verification software · 93 launches, 5 in the last 7 days ▼ -38% · Explore this niche →
Category and tags
- Government
- Compliance & governance
- Prosumer
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 93 launches in identity and formal verification software →
Could you build this?
No A credible formalization of federal tax forms requires deep tax-law expertise and verifiable legal accuracy, which vibe coding cannot provide.
What it would actually take: A real version needs a formal model of the tax code and forms, validated line by line by tax and legal experts, with an independent verification and audit trail. The hard part is the authoritative interpretation of complex, changing law and gaining trust, which requires tax professionals and formal-methods engineers.
Discussion
No comments on this launch.
Competitors
Other products that read as similar to this one : 75 launches clear the similarity bar, closest 8 shown.
Attention rank: #12 of 76 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 359 days after the earliest competitor.
- Luca IQ - An API for U.S. tax calculation and e-filing · yc · 2026-07-31 · 4 upvotes · similarity 0.47
- Askfeather.ai · hn · 2026-02-03 · 7 upvotes · similarity 0.46
- Tin Validate, a tax ID validator that explains why checks pass or fail · hn · 2026-06-20 · 5 upvotes · similarity 0.45
- I created a tool to generate handwritten signatures · hn · 2025-12-25 · 5 upvotes · similarity 0.42
- I built a TurboTax for immigration forms · hn · 2025-12-09 · 8 upvotes · similarity 0.41
- I automated forensic accounting for divorce cases (3 min vs. 4 weeks) · hn · 2025-12-22 · 6 upvotes · similarity 0.40
- I quit coding years ago. AI brought me back · hn · 2026-01-19 · 314 upvotes · similarity 0.39
- I curated 130 US PDF forms and made them fillable in browser · hn · 2026-02-17 · 13 upvotes · similarity 0.38
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.