Show HN: IRS 联邦税表形式化验证的概念验证项目
Show HN: A proof-of-concept formalization of the IRS federal tax forms
一个 100% 由 vibe coding 完成的开源仓库，尝试对 IRS 联邦税表进行形式化验证，让使用者能把软件中的每条申报/解读追溯回权威原始文档，而不是依赖 Intuit、IRS 等维护方的信誉背书。作者强调该项目目前只是后台被动推进的概念验证，明确警告不要用于任何真实报税场景，动机是出于公共利益探索这类工具应有的形态。
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.
来源：Hacker News · 首页 · news.ycombinator.com