implement-type-annotations

此技能致力於透過系統化地為 Python 和 TypeScript 程式碼庫應用全面的型別標註，提升軟體品質與開發效率。透過在 Python 中強制執行符合 PEP 484 的型別提示，以及在 TypeScript 中使用嚴謹的介面或型別定義，此代理技能可協助開發人員在靜態分析階段捕捉執行期錯誤，顯著降低除錯時間並改善系統整體的可靠性。本工具專為軟體工程師、儲存庫維護人員及 DevOps 團隊設計，協助其現代化程式碼庫以更完善地支援 AI 輔助開發工具，這些工具高度依賴明確的型別資訊來產生更精確且具備環境感知能力的程式碼建議。

• 透過提供函數簽章、預期參數型別及回傳值的清晰可視性，提高 IDE 智慧提示的準確度。

• 自動識別並修復遺留程式碼片段中缺失的型別標註。

• 藉由提供高保真程式碼補全所需的結構化背景資訊，改善 AI 輔助開發（如 GitHub Copilot 或 Claude）的表現。

• 強制執行儲存庫內的一致性，確保型別提示在整個專案生命週期中保持統一。

• 透過啟用 Mypy、Pyright 或 TypeScript 編譯器等工具，在程式執行前捕捉型別不匹配問題，從而促進更早期的錯誤偵測。

• 使用時機：在軟體開發專案的重構或維護階段使用此技能以穩定程式碼庫。

• 輸入：鎖定包含 Python (.py) 或 TypeScript (.ts, .tsx) 原始碼的特定目錄或個別檔案。

• 輸出：產生具備適當型別標註的已更新原始碼檔案，並可能附帶型別涵蓋率百分比的摘要報告。

• 約束：使用者應具備標準的 Linting 與型別檢查基礎設施（如 Python 的 Mypy 或 TypeScript 的 Tsc），以便驗證代理所做的變更。

• 整合：建議與 CI/CD 管線結合使用，將型別涵蓋率作為品質指標進行監控，防止型別安全隨時間下降。