Theme / 0.9.130
Pstack
用可驗證的工作流程協作，從單一入口學會工程技能
Reusable skills
Skills
- poteto-mode | 用目標與驗收啟動工作流程讓代理依任務選擇作業流程，保留跳過理由，並以實際產物驗證結果。
- poteto-help | 找到適合問題的技能入口先查技能與平台來源，再提供一個可送出的任務提示詞，不直接開始花費資源的工作。
- setup-pstack | 依平台設定角色模型與路由辨識可用模型，確認各角色與推理等級，並按不同執行環境寫入與載入模型設定表。
- in-your-own-words | 開工前確認代理理解的目標請代理用自己的話復述你的目標與待解問題，及早發現把做法誤當目的的偏差。
- sharpen | 把需求改成有證據的深入任務補上專業方法、原始材料與外部驗收依據，再改寫提示詞，保留應由使用者決定的選項。
- automate-me | 把反覆確認的工作習慣整理成個人模式以多次出現的偏好及使用者確認為依據，草擬或更新個人模式技能，不把單次任務變成永久規則。
- how | 追蹤系統如何運作與責任歸屬從程式碼追蹤執行流程、模組分層與責任邊界，依問題複雜度安排唯讀探索及解說。
- why | 用歷史證據查設計理由以程式碼位置與版本歷史為起點，查核可用的決策、事故與產品紀錄，分開呈現事實、推論及未知。
- teach | 把運作方式與理由講到能理解結合 how 與 why 的查核結果，以簡短定義和逐層說明教懂一個變更或子系統，不直接修改它。
- bro | 把上一則回覆講白話將代理自己的上一則訊息改成更簡單、連貫而精簡的說法，不另開調查或重做整段對話摘要。
- recall | 重建近期工作的可接手脈絡結合範圍內的對話、共享紀錄及目前狀態，整理工作線、反覆問題與一個具體下一步。
- ketchup | 看懂本輪進度與等待你的決定唯讀整理上次人類訊息後的實際變化，使用既有視覺證據，逐項列出只有使用者能做的決定。
- ketchup-video | 用有字幕的短片回顧本輪變化沿用 ketchup 的回顧與待決事項規則，以既有產物製作短片，實查畫格、字幕及停留時間後再嵌入。
- what-did-i-get-done | 將本人提交整理成精簡近況限定實際日期與作者身分，排除合併及未提交變更，將重要行為與架構變化整理成狀態更新。
- architect | 先定介面與模組形狀先理解既有系統，以競爭草圖比較型別與責任邊界，再依選定契約實作並記錄偏離。
- arena | 同題競賽與方案合成讓多個候選獨立完成同一任務，以明確評分規準選出基底，再移植其他方案的有效部分。
- swarm | 平行切片與覆蓋彙整先定完成條件與切片責任，再派出隔離工作者，按覆蓋或競速規則整合證據與缺口。
- figure-it-out | 為複雜任務設計可稽核流程把無現成劇本的大型工作拆成可驗證單位，先建基準與關卡，再以假設迴圈留下決策證據。
- tdd | 先證明失敗再修復錯誤針對有便宜本機測試路徑的錯誤，先執行會因正確原因失敗的回歸測試，再做最小修復。
- blast-radius | 證明變更的外部影響追蹤差異以外的消費者、格式與生命週期，找出安全性依賴的關鍵事實並以真實程式驗證。
- interrogate | 只回報可重現的成立問題讓對抗審查者嘗試破壞變更，重跑每個重現命令，只保留違反意圖的實證問題，不套用修復。
- thermo-nuclear-review | 深查正確性與安全退化聚焦分支新增與修改程式，追蹤跨模組副作用、功能開關外洩與開發環境破壞，再核對既有審查意見。
- thermo-nuclear-code-quality-review | 嚴格檢查結構與維護成本尋找能刪除整類複雜度的重構機會，審查型別邊界、分支膨脹與巨型檔案，交付摘要及分層證據。
- thermos | 平行整合兩種深度審查對同一差異平行執行安全正確性與維護性審查，去重並裁決分歧，保留細節證據與未決事項。
- deslop | 清理差異中的生成式冗餘對照 main 與周邊慣例，最小化清除多餘防禦、繞過型別的轉型及不必要巢狀，保留行為與必要文件。
- no-comments | 查證註解與可執行約束由專用審查者檢查指定範圍的註解，查證例外與外部規則，對接受的問題提出根因修復及約束編碼。
- typescript-best-practices | 用型別表達有效狀態從外部輸入解析到領域型別，以可辨識聯集、驗證過的語意識別碼及窮盡檢查減少不可能狀態。
- create-verification-skill | 建立實際操作的驗證技能從專案啟動方式與使用者操作路徑，建立可重跑的驗證技能、功能地圖與證據保存流程。
- maintain-verification-skill | 維護功能地圖與操作證據逐功能比對原始碼並實際操作應用程式，區分文件漂移、操作腳本缺口與產品回歸。
- create-formal-verification-skill | 為高風險性質建立形式驗證依真實程式選擇模型檢查或程式層級驗證工具，建立可重跑、能捕捉刻意破壞的專案驗證技能。
- maintain-formal-verification-skill | 讓形式驗證重新對齊程式從同步提交追查受驗證程式的變更，更新模型或性質，區分驗證漂移與真實產品缺陷。
- statechart | 從 TLA+ 模型解讀狀態與反例檢查有界 TLA+ 模型，將狀態轉移與違反規則的最短路徑呈現為 Mermaid 狀態圖。
- benchmark-checklist | 查核效能數字是否可信以瓶頸、設定公平性、錯誤計數、重複量測與真實工作量，檢查效能比較是否足以支持結論。
- get-pr-comments | 整理 PR 審查意見找出目前分支的 PR，讀取審查與討論留言，依嚴重度及可行動性整理待辦與待釐清問題。
- fix-ci | 從失敗檢查定位並修正 CI以 PR 檢查與失敗日誌定位第一個可處理錯誤，逐項做最小修正並重新確認整組 CI 狀態。
- fix-merge-conflicts | 解決衝突並驗證合併結果盤點衝突檔案，以最小且維持行為的方式解決差異，重新產生鎖定檔並驗證後暫存。
- babysit | 在授權範圍內照看單一 PR持續檢查單一 PR 的衝突、CI 與審查回饋，設定輪詢及停止條件，整理到可供合併審查的狀態。
- make-pr-easy-to-review | 降低 PR 審查負擔檢查 PR 差異與提交結構，優先改善描述和導讀；只有獲准才改寫歷史，並驗證內容未意外改變。
- unslop | 去除空話並保留原意用具體文字替換 AI 式套話，逐句核對來源，保留文件原意、語氣與技術限制。
- technical-writing | 寫出能照做的操作文件先選定 Diátaxis 文件模式，再用具體步驟、預期輸出與單義句子，撰寫可照做的技術文件。
- reflect | 把本次教訓整理成待核准的技能修訂從目前對話找出可重用教訓，經三種審閱角度與綜整後提出技能修訂，取得明確核准才套用。
- correct | 用結構性約束防止重複錯誤以至少兩次真實錯誤為證據，依架構、型別、自動檢查與測試的順序選擇防線，文件規則放最後。
- show-me-your-work | 留下可查證的決策紀錄以追加式 TSV 記下長任務的選擇、理由、證據與結果，保留失敗與改向，交接前核對紀錄並做跨模型審閱。
- principle-attack-the-premise | 先驗證共同前提當兩次修正依賴同一前提卻仍未通過驗收，先建立可重跑的觀察來檢驗前提，再決定修正方向。
- principle-boundary-discipline | 在系統邊界驗證資料把外部輸入的驗證與錯誤處理集中在系統邊界，轉成領域型別後交給純函式處理，避免內部重複防禦。
- principle-build-the-lever | 把工作做成可重跑工具先用一個手動單位確認做法，再建立最小腳本或轉換工具，讓修訂與驗證可以重跑並接受反例檢查。
- principle-encode-lessons-in-structure | 把教訓編入結構當相同提醒再次出現，把可判定的規則改成檢查、結構或中繼資料；需要判斷的教訓則保留醒目說明與反例。
- principle-exhaust-the-design-space | 用競爭原型比較設計面對沒有既有先例的新互動或架構決策，先製作兩到三個競爭原型，用相同任務並排比較後再選定方向。
- principle-experience-first | 先決定值得交付的體驗在產品範圍與實作便利衝突時，以核心工作流程與消費者體驗選擇目標，先用原型確認細節，寧可少做但做好。
- principle-explain-the-number | 先解釋數字再採取行動量測前先定義決策與雜訊界線，從執行中的證據找出限制因素，排除少做工作等假象，再連同次數與分布報告結果。
- principle-fix-root-causes | 從症狀追到第一個錯誤先重現問題，再沿實際狀態回溯到第一個錯誤決策；只有當觸發狀態本來合法時，局部防護才可能是根因修正。
- principle-foundational-thinking | 先定資料形狀與工作基礎從批次匯入情境辨認存取模式、共享狀態與必要基礎，先定資料結構再安排功能實作。
- principle-guard-the-context-window | 控制上下文的階段與容量將大量事件紀錄分段查核，限制每階段範圍並保留可追溯摘要，避免原始輸出淹沒推理。
- principle-laziness-protocol | 集中決策並縮小差異以功能顯示規則為例，把重複決策集中到單一來源，選擇足以解題的小幅修改而不省略驗證。
- principle-make-operations-idempotent | 讓重跑收斂到同一結果用離線索引產生器練習讀取現況、比對目標與修補差異，驗證重跑與中途失敗後都能收斂。
- principle-migrate-callers-then-delete-legacy-apis | 同批遷移呼叫端與退役舊介面在沒有外部相容需求的內部介面重構中，盤點呼叫端、更新契約測試，規劃同批移除舊介面。
- principle-minimize-reader-load | 降低追蹤層數與隱藏狀態從報表日期來源追蹤間接層與可變狀態，判斷哪些包裝與共享欄位增加閱讀負擔。
- principle-model-the-domain | 用資料結構承載領域規則以檔案上傳生命週期為例，將互相牽制的布林狀態改成明確模型，集中合法轉移與資料擁有權。
- principle-never-block-on-the-human | 在授權內先做可逆工作用修正文檔站內連結的情境區分執行判斷、產品方向與不可逆操作，在授權內推進並留下可審查結果。
- principle-outcome-oriented-execution | 以可驗證終態安排遷移為重寫或遷移設定目標架構、可逆的暫時失效範圍與完整驗證邊界，避免留下拋棄式相容層。
- principle-prove-it-works | 直接查驗真正的產物以實際產物、真實狀態與可重跑的比較證據驗證成果，同時確認觀察方法及依據來源。
- principle-redesign-from-first-principles | 把新需求視為起點重新設計整合新需求前先讀懂既有設計，以需求從第一天就存在的角度重想模型，再分段更新所有參照。
- principle-separate-before-serializing-shared-state | 先拆共享輸出再考慮序列化並行寫入前先拆分獨立檔案與擁有權，只有單一共享狀態確實必要時，才以結構性機制控制寫入。
- principle-sequence-verifiable-units | 每個工作單位都以檢查收尾將批次修改切成可驗證單位，逐項確認後再前進，並以能重播因果的順序安排交付。
- principle-subtract-before-you-add | 先減去負擔再擴充新增功能前依實際用途盤點失效分支、重複驗證與空殼參照，先簡化基底，再加入規格需要的能力。
- principle-test-behavior-not-implementation | 測試使用者可觀察的契約從呼叫者介面驗證回傳值、錯誤與外部副作用，讓測試抓得到行為缺陷，又不綁死內部重構。
- principle-type-system-discipline | 讓型別排除不合法狀態區分語意不同的基本值，在外部邊界解析資料，依權威結構衍生型別，並讓編譯器檢查狀態與分支。