# Show HN：IRS 联邦税表的原型形式化项目

- 原标题：Show HN: A proof-of-concept formalization of the IRS federal tax forms
- 类型：项目
- 来源：GitHub
- 发布时间：2026-10-23
- 首次精选：2026-10-30 08:40
- 分级：值得看
- 学习层级：深入
- 主题：[ai-mathematics-proofs](<https://oplearnx.com/md/topics/ai-mathematics-proofs.md>)（第 14 位）、[code-review-verification](<https://oplearnx.com/md/topics/code-review-verification.md>)（第 17 位）
- 原文链接：[https://github.com/emmilco/us-tax-model](<https://github.com/emmilco/us-tax-model>)
- 本站页面：[https://oplearnx.com/resources/pk\_9639138784ff](<https://oplearnx.com/resources/pk_9639138784ff>)

## 摘要

这是一个 GitHub 仓库，作者称其全部由 AI 生成（vibe coded），目标是为美国联邦税表建立可追溯的形式化模型，让用户和维护者能把各项断言与解释回溯到权威原始文档，以解决此类软件可信度依赖维护方的问题。作者明确表示项目目前处于搁置状态，不应作实际用途。适合对税务软件形式化、可验证软件与 AI 生成代码可信度话题感兴趣的人阅读。

## 热度

- 档位：有热度
- 7 天新增 star：+135
- 30 天新增 star：+135
- Hacker News：[58 分 · 9 条评论](<https://news.ycombinator.com/item?id=50278678>)
- 社区讨论：1 帖

## 项目信息

- 语言：HTML
- 许可：Apache-2.0
- 最近提交：2026-10-31
- Star：133
- Fork：10

## 上手方式

```sh
npm install
npm run check-all
```

摘自 [README](<https://github.com/emmilco/us-tax-model/blob/main/README.md>)

---
来源：LearnMap · 学径（https://oplearnx.com）