项目发布 09-28
dagoSte/squadra
这是一个用于协调 Claude、Codex 和 Cursor 等多个编码代理窗口的开源工具，通过共享任务、确认回执、前置检查、并行测试、来源绑定证明和独立审查来组织多代理协作。它内置若干技能（复用经验教训、简化代码、工作量预测），并提供双语本地仪表盘跟踪进度、决策与证据，以及 MCP 插件。
代码审查与验证
学习审查 AI 代码、自动测试和完成验证，适合需要保障交付质量的开发者。
15 条精选 · 入门 3 · 按推荐学习顺序：越基础、直观越靠前，越系统、深入越靠后
-
13进阶
-
15深入项目发布 10-23
Show HN：IRS 联邦税表的原型形式化项目
Show HN: A proof-of-concept formalization of the IRS federal tax forms
这是一个 GitHub 仓库，作者称其全部由 AI 生成（vibe coded），目标是为美国联邦税表建立可追溯的形式化模型，让用户和维护者能把各项断言与解释回溯到权威原始文档，以解决此类软件可信度依赖维护方的问题。作者明确表示项目目前处于搁置状态，不应作实际用途。适合对税务软件形式化、可验证软件与 AI 生成代码可信度话题感兴趣的人阅读。