3秒掃描任何代碼庫，然後驗證你的AI構建

Anatomia 是一個開源的新工具，旨在為 AI 驅動的代碼開發引入嚴格的驗證流程。它通過一個由五個專用代理組成的流水線來工作：Ana（思考）、AnaPlan（計劃）、AnaBuild（構建）、AnaVerify（驗證）和 AnaLearn（學習）。這些代理協同工作，確保每個代碼更改在編寫之前都經過仔細的範圍界定、規劃、構建和驗證。

該工具的核心是“證明鏈”（proof chain），這是一種記錄每個更改的詳細信息（包括合同、斷言、發現和時機）的機制。例如，一個添加 Stripe Webhooks 的更改會生成一個證明條目，顯示所有 14 個合同斷言是否滿足、是否有風險或債務，以及每個階段花費的時間。

要開始使用，開發者只需運行 npx anatomia-cli scan .，即可在 10 秒內掃描整個項目。掃描結果包括技術棧（如 TypeScript、Next.js、Prisma、PostgreSQL）、代碼庫活動、熱點文件和現有文檔。然後，ana init 命令會生成代理所需的上下文文件，包括掃描數據、技能模板和特定於棧的常見陷阱。

Anatomia 專為 Claude Code 設計，但也通過生成標準 markdown 文件（如 AGENTS.md 和 CLAUDE.md）來兼容其他 AI 工具。安裝後，用户可以使用 ana 命令啓動流水線，管理工單，以及檢查證明鏈的健康狀況。該項目本身也是使用 Anatomia 構建的，其 .ana/ 目錄作為其自身開發流程的證明。

Anatomia 在 MIT 許可證下發布，旨在為 AI 輔助開發帶來更可靠的代碼生成方式，通過機械證明而非人工驗證來確保質量。