Show HN：Prove 以規格檔案驅動 agent，接入 GitHub 與 Jira 工單
Show HN 上的 Prove 是一個規格先行的 agentic 開發外掛，它用一份規格檔案驅動改動：為流水線增加 GitHub 與 Jira 工單來源，而目前流水線只能從 CLI 取任務。規格寫明配置裡已有 tracker 段，實現選擇在倉庫之上加介面卡（讀多寫少、不需要工作單元），完成標準是 GitHub provider 端到端返回工單、Jira 走同一介面並通過驗證階段。該規格已標記 REVIEWED，由 fresh reviewer 建置。
原標題：Show HN: Specification First Agentic Development Plugin and Prove
閱讀原文
| 評分 | 20 / 32（平均 26，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
Google 開源 Harness²，讓 Agent 在執行中改進自身腳手架
Google 開源了 Harness²，這是一套雙層遞迴框架，讓 Agent 在執行時自行修改腳手架、系統提示詞、工具鏈與技能庫。它在沒有標準答案時，用 Propose–Probe–Compose 對改動做行為對比篩選，並把除錯經驗寫進經驗庫，供後續任務檢索複用。實測 GLM-5 在 OpenCode 下執行 WorkBuddy-Bench，得分從 64.2 升到 75.7（+11.5 分），反超未改腳手架的 Gemini 3.5 Flash（72.4）；
Git hook Sphinx 在推送 agent 程式碼前出題，答對才放行
Sphinx 是一個開源 Git hook，會在受保護分支上暫停推送，由一個沒看過你與 agent 對話的 reviewer 讀 diff 提問：這段改動在出錯時會怎樣。答錯會解釋原因並換新場景重問，答對才繼續推送；它支援 Codex、Claude Code、Cursor、OpenCode、Pi 與純 Git，也可接 OpenRouter 或任何 OpenAI 相容端點，並刻意只用最少 token。
Entire 發布首個 Agent 協作 Git 平台，以 eval 評分取代 PR 評審
Entire 發布首個專為 Agent 與人類協作打造的 Git 託管平台，用 Trail 取代傳統 Pull Request：每次推送由多個評審 Agent 在雲沙箱中獨立打分並列出問題，分數穩定、問題全部解決後才允許合併。其自研 Git 伺服器推送速度比 GitHub 快 89 倍、比 Cursor Origin 快 6 倍，支援多區域複製；Continuous Memory 會把 Agent 會話與 prompt 同步進倉庫供檢索。
把任務當程式碼：用 Markdown 存進 Git 供 AI agent 讀取
文章主張把開發任務從 Jira、Redmine 遷進程式碼倉庫，用 Markdown 檔案儲存，讓 Claude Code、OpenCode 等 coding agent 在同一處讀到需求與程式碼。任務改動因此像普通 commit 一樣有版本、可評審；文中給出五步流程：描述任務、分析需求、生成實現計劃、人工審批、實現並回寫報告。作者的做法是程式碼、文件、任務各建一個 Git 倉庫，後兩者 clone 進程式碼倉庫並由 .gitignore 排除，任務庫因含敏感資訊可單獨設權限。
Anthropic 發布 agent 自動化參考實現，附 Claude Code 配置命令
Anthropic 發布基於 Claude Managed Agents（beta）的 agent 自動化參考實現：按 cron 計劃讀取 Slack 頻道與 GitHub PR，依據上次執行留下的書籤只取新增內容，再把簡報發到指定 Slack 頻道。配套程式碼含 agent、部署、環境、記憶與 vault 等配置，用 ant apply 寫入 Claude API 工作區，憑據存於 vault、沙箱內只留佔位符；