研究資料分析教育
math-extractor
從文檔(PDF、MD、TEX、TXT)中提取數學定義、定理、證明等內容,並進行AI驅動的清洗與格式轉換。
瀏覽: 15
探索可重用的代理技能,查看實作細節,快速找到適合你工作流程的技能。
共找到 491 個技能
從文檔(PDF、MD、TEX、TXT)中提取數學定義、定理、證明等內容,並進行AI驅動的清洗與格式轉換。
使用 Token Surgeon 審核並優化您的 AI 提示詞。偵測 10 種常見的冗餘模式,計算效率分數,並減少 Token 用量以提升提示詞效能。
掌握倫敦派(模擬測試)與芝加哥派(狀態測試)TDD。透過 AI 代理自動化測試驅動開發流程、風格選擇與程式重構。
Java 開發規範,包含命名約定、異常處理、Spring Boot 最佳實踐及併發處理模式。
為平行開發建立隔離的 git worktrees,自動處理目錄選擇、.gitignore 安全檢查、依賴安裝與基礎測試驗證。
跨語言除錯框架:包含科學除錯法、堆疊追蹤分析、日誌記錄策略,以及 Git bisect 與小黃鴨除錯法等進階技巧。
將現有的 OpenAI Apps SDK 應用程序遷移到 MCP Apps SDK,提供分步指導、API 映射表以及內容安全策略 (CSP) 調查工作流程。
利用 ripgrep 進行快速文字搜尋,並透過 ast-grep 進行語法感知代碼分析,有效定位程式碼庫中的模式與結構。
使用 Google Wycheproof 測試向量套件驗證密碼學實作,以偵測安全邊際案例與已知漏洞。
為 Storyblok 專案執行程式碼審查並生成 QA 測試計畫,確保程式碼品質、安全性及最佳實踐。
結構化、模板驅動的端到端功能開發工作流,包含編碼、自動化測試、驗證及基於會話的持續改進。
資深後端架構專家,專精於六角形架構、DDD、SOLID 原則、簡潔程式碼與重構,協助開發、程式碼審查及解決複雜的架構問題。