math-extractor
從文檔(PDF、MD、TEX、TXT)中提取數學定義、定理、證明等內容,並進行AI驅動的清洗與格式轉換。
探索可重用的代理技能,查看實作細節,快速找到適合你工作流程的技能。
共找到 635 個技能
從文檔(PDF、MD、TEX、TXT)中提取數學定義、定理、證明等內容,並進行AI驅動的清洗與格式轉換。
創建、註冊與管理自訂代理工具及 MCP 伺服器,透過外部 API 與自訂邏輯擴展 AI 代理的功能。
管理、搜尋並從本地論文資料庫中提取技術見解。適合開發者實作學術研究、驗證程式碼與數學邏輯,以及為 AI 程式代理人提供科學論文背景資料。
AI 代理的執行前安全防護機制。針對 Shell 指令和檔案讀取執行 400 多種安全模式驗證,攔截具破壞性的操作、憑證竊取與未授權的系統存取。
將教學內容(如逐字稿、教程)轉化為可執行的「Ship-Learn-Next」循環,建立具體的實作計畫與學習任務。
一套用於編寫清晰、易讀且簡潔內容的工具。應用「淺顯語言運動」原則,包括主動語態、縮短句子和消除行話,以提升讀者理解度。
高階測試報告與品質儀表板,提供 QE 指標、程式碼覆蓋率與部署就緒度分析,透過預測性洞察協助團隊進行數據導向的品質決策。
一個用於查詢、解析並將 SEC EDGAR 申報文件、財務報表及機構持股數據轉化為結構化 Python 物件的完整程式庫。
透過 Context7 API 獲取 React、FastAPI、Next.js 等框架的即時技術文件、程式碼範例與開發指導。
應用有效的軟體品質諮詢實踐。適用於諮詢 QA 策略、為開發團隊提供建議,或建立永續的品質工作流程。
實作安全的後端驗證 (JWT, OAuth, Sessions) 與授權 (RBAC, ABAC) 模式,包含密碼雜湊、多因素驗證 (MFA) 及安全最佳實踐。
使用 OpenAI Whisper CLI 進行本地語音轉文字轉錄,無需外部 API 金鑰即可提供私密且高準確度的音訊處理。