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 輔助開發帶來更可靠的程式碼生成方式，透過機械證明而非人工驗證來確保質量。