# Coding Audit Harness:AI 寫的程式,驗過才算數:技能書與協作來源 讓 AI 寫的程式必須附上可重跑的驗收證據,並由人核准才算完成。 ## 工坊收錄說明 作品與開源 用 coding agent 寫程式,想確認「測試通過」真的有憑據的人。 一張附驗收收據、經本人核准完成的練習工單。 在 AI 開發及 AI 導入與驗證公會交流驗收規則與審查流程。 先在練習專案照快速上手跑完 add(2, 3) 範例。 ## 封面與來源署名 作者:小艾老師 封面插畫:/art/skills/coding-audit-harness.webp 原作者 GitHub:https://github.com/weiwei-alvin/Coding-Audit-Harness 登入自由工坊並連結自己的 GitHub,即可在技能書加星或取消星星。 原作數據:/api/v1/github/books/coding-audit-harness/metrics Stars、Forks、追蹤數、未結 Issues 與 PR 合計、最近程式更新時間以 GitHub 回覆為準;數據附核對時間,讀取失敗不冒充零。 ## 讀者與格式 AI 開發驗收框架與稽核技能 - 用 coding agent 開發的人 - 想把 AI 開發流程導入團隊驗收的工程師 ## 功能與使用範圍 MIT 開源;skills/matt-upstream 原樣收錄 Matt Pocock 的 MIT 技能。不是沙箱:同一個使用者仍能修改 state、測試與收據,雜湊只檢查新鮮度,不是簽章;不呼叫 LLM、沒有 Web UI 或排程器,也不判斷程式品質。Runner 從 TICKETS 階段開始強制,DISCOVERY 與 SPEC 只靠 agent 自律。--trust-commands 會以目前使用者權限執行專案指令,不可信的 repo 先放進隔離環境;範例指令以 PowerShell 撰寫。 - 5 個稽核技能接在 Matt Pocock 的需求訪談、規格、工單、實作與審查技能之後 - Runner 親自重跑 Golden Path 驗收指令,收據綁定程式碼指紋、驗證編號與審查輪次 - TICKETS 關卡與暫停決策只由人下指令;最後一張工單完成前,Runner 重跑全部驗收 ## 開始前準備 - Python 3.12 與 requirements.txt 的 jsonschema - 一個練習用的目標專案,把 harness/ 複製進去;已有 .harness/ 時先備份 - 願意親自寫驗收指令並下 Gate 的操作者;驗收指令失敗時必須回傳非 0 ## 第一個練習 1. 照 README 快速上手,在練習專案寫 SPEC.md 的 US-001、工單 T-001、golden_path.json 與 check_calc.py。 2. 執行 init 與 set-ready-for-gate,親自看過工單與驗收後再下 gate-verdict PASS。 3. 實作後跑 verify-ticket --trust-commands 與 mark-ticket-ready-for-review,把收據的綁定欄位抄進 handoff 與 review,再以 review-verdict 完成工單並用 status.py 查看。 ## 練習成果 一個練習專案中,附驗收收據並由本人核准完成的工單紀錄。 ## 專案與授權 原作 Repo:https://github.com/weiwei-alvin/Coding-Audit-Harness 從原作建立自己的版本:https://github.com/weiwei-alvin/Coding-Audit-Harness/fork 工坊整合參考:https://github.com/weiwei-alvin/Coding-Audit-Harness 記錄的授權:MIT ## 一起改這本技能書 向小艾老師的原作回饋 POSIX shell 範例、文件或測試案例;skills/matt-upstream 為原樣收錄,修改上游技能應回 mattpocock/skills 提案。 原作 Repo:https://github.com/weiwei-alvin/Coding-Audit-Harness 預設 PR 目標:weiwei-alvin/Coding-Audit-Harness:main 從原作建立自己的版本:https://github.com/weiwei-alvin/Coding-Audit-Harness/fork 原作 PR:https://github.com/weiwei-alvin/Coding-Audit-Harness/pulls 工坊整合參考:https://github.com/weiwei-alvin/Coding-Audit-Harness 工坊整合任務專用 Fork:https://github.com/weiwei-alvin/Coding-Audit-Harness/fork 工坊任務:https://github.com/weiwei-alvin/Coding-Audit-Harness/issues 工坊 PR:https://github.com/weiwei-alvin/Coding-Audit-Harness/pulls GitHub Milestones:https://github.com/weiwei-alvin/Coding-Audit-Harness/milestones 先閱讀原作現行的貢獻規則。Fork 不會自動回饋原作;修改要以 PR 提交,由原作維護者決定是否合併。工坊整合任務可在工坊審查,另外記錄回饋原作的 PR 或未回送原因。 以下是入口與建議,不代表已認領或已完成。以 GitHub 最新 Issue、PR 與維護者確認為準。 - 第一份可重用的共同成果(建議里程碑):提交可重現案例、來源與驗證結果,由維護者審查;這是建議里程碑,尚未建立為 GitHub milestone。 ### 改善AI 開發驗收框架與稽核技能的第一個案例 · 建議任務 向小艾老師的原作回饋 POSIX shell 範例、文件或測試案例;skills/matt-upstream 為原樣收錄,修改上游技能應回 mattpocock/skills 提案。 - 驗收:一個練習專案中,附驗收收據並由本人核准完成的工單紀錄。 記錄實際驗證與未執行項目;以原作 Issue/PR 協調。 Agent Skill:/development/skills/coding-audit-harness/SKILL.md 協作 JSON:/api/v1/skills/coding-audit-harness/collaboration ## 參與開發 向小艾老師的原作回饋 POSIX shell 範例、文件或測試案例;skills/matt-upstream 為原樣收錄,修改上游技能應回 mattpocock/skills 提案。 工坊 Issue/PR 協調入口:https://github.com/weiwei-alvin/Coding-Audit-Harness/issues 先讀該 Repo 根目錄 README.md、AGENTS.md、CONTRIBUTING.md;原始程式、測試及來源授權留在該專案。平台介紹與公會收錄則在 freedom-platform 的 modules/community 維護。 要改善平台介紹:https://github.com/FreeTWAI/freedom-platform/issues ## 閱讀與來源 閱讀原始專案:https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/README.md 核對日期:2026-10-01 核對版本:c4526624f65530c009c57b9add233b1060fa01df - README.md:https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/README.md - LICENSE:https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/LICENSE - skills/matt-upstream/UPSTREAM.md:https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/skills/matt-upstream/UPSTREAM.md ## 共創原則 GitHub Issue 是待辦與協調來源,PR 是審查與合併紀錄。先確認任務範圍,再用自己的分支完成相關驗證;保留上游與實際貢獻者。Fork 不等於平台認證、已測試運行或新授權。 完整結構化目錄:/api/v1/development-map