property-based-testing
為軟體和智慧合約提供屬性基礎測試 (PBT) 的自動化指導,以提升測試覆蓋率並強化邊緣案例偵測。
探索可重用的代理技能,查看實作細節,快速找到適合你工作流程的技能。
共找到 275 個技能
為軟體和智慧合約提供屬性基礎測試 (PBT) 的自動化指導,以提升測試覆蓋率並強化邊緣案例偵測。
專為預測市場與加密貨幣設計的專業交易策略與風險管理工具,包含趨勢分析、倉位配置及停損框架。
使用 Token Surgeon 審核並優化您的 AI 提示詞。偵測 10 種常見的冗餘模式,計算效率分數,並減少 Token 用量以提升提示詞效能。
針對 Go CLI 應用程式的專家級自動化程式碼審查,涵蓋 Cobra/urfave 模式、安全性、效能、Go 慣用語法及完善的錯誤處理。
進行徹底的依賴項審計,識別冗餘代碼、未使用的功能和不當的使用模式。透過充分利用現有依賴項而非重新發明輪子,確保專案的模組化與代碼整潔。
LibrAgent 程式碼品質驗證工具,涵蓋 TypeScript 前端與 Rust/Tauri 後端,提供自動化程式碼檢查、格式化、型別檢查與建置驗證。
自動化將舊版單檔案任務遷移至結構化資料夾系統的工具,以提升專案組織效率。
專為開發人員與工程師設計的系統化技術對話紀錄工具。精確捕捉決策過程、實作細節與會議成果,確保技術文件的準確性。
使用 GeoPandas 進行地理空間數據分析,包含正確的座標投影轉換,以執行精確的距離計算、空間篩選與地理特徵分析。
教師專用學生分析工具:透過 OCR 辨識試卷、總結學習成效,並自動更新學生檔案,提供精準的物理學科輔導策略。
結構化手稿與經費審查助手,提供基於檢查清單的評估,涵蓋方法論、統計效度及報告標準(如 CONSORT/STROBE)合規性檢核。
為 Python 代碼提供 6 階段唯讀分析的工作流程,根據專案類型(從 POC 到開源)檢測設計原則違規、程式碼異味並建議現代化改善方案。