math-extractor
從文檔(PDF、MD、TEX、TXT)中提取數學定義、定理、證明等內容,並進行AI驅動的清洗與格式轉換。
探索可重用的代理技能,查看實作細節,快速找到適合你工作流程的技能。
共找到 464 個技能
從文檔(PDF、MD、TEX、TXT)中提取數學定義、定理、證明等內容,並進行AI驅動的清洗與格式轉換。
AI 輔助代碼代理版本控制。透過 MemoV 自動追蹤提示詞、上下文與差異,確保完整可追溯性,且不污染 Git 歷史紀錄。
產生與 IntelliJ coding-aider 外掛程式相容的結構化開發計畫、檢查清單及檔案上下文。
Summon 框架專家:協助 Kotlin Multiplatform UI 開發,提供類型安全的修飾符、狀態管理、路由與 SSR,適用於網頁與 JVM 應用程式。
用於提交前與部署前檢查的自動化代碼品質驗證工具,涵蓋 TypeScript、建置與 lint 檢查。
透過管理 conductor/ 目錄中的專案環境工件(產品、技術棧、工作流程、追蹤)來標準化開發環境。支援專案鷹架建立、工件同步以及針對全新與既有專案的 AI 對齊。
功能強大的圖像壓縮與轉換 CLI 工具,支援批次處理、多種引擎(mozjpeg、pngquant、sharp 等)、格式轉換(WebP、AVIF)及遞迴目錄優化。
透過 Brave Search API 進行無頭網頁搜尋與內容提取。無需瀏覽器即可執行文件檢索、事實查核及網頁內容抓取。
根據 Hyperlane 文件標準審查文件變更,確保內容符合架構模式與規範。
為 MassGen 建立結構化 YAML 設定檔的指導工具。適用於製作範例、案例研究、測試或展示新功能時使用。
一套結構化的檔案式待辦事項追蹤系統,用於管理技術債、協調程式碼審查工作流程,並直接在儲存庫內進行任務追蹤。
使用 AI 創作專業商標。涵蓋設計討論、多樣化生成、修圖去背與 SVG 向量格式導出,適用於品牌、吉祥物、圖標與徽章設計。