property-based-testing
為軟體和智慧合約提供屬性基礎測試 (PBT) 的自動化指導,以提升測試覆蓋率並強化邊緣案例偵測。
探索可重用的代理技能,查看實作細節,快速找到適合你工作流程的技能。
共找到 567 個技能
為軟體和智慧合約提供屬性基礎測試 (PBT) 的自動化指導,以提升測試覆蓋率並強化邊緣案例偵測。
分析 Kubernetes 控制器代碼,為 Kamera 覆蓋策略生成符合契約的依賴圖工件。
CMTAT RuleEngine 合約的 Foundry 開發指南,包含測試、部署腳本以及專案特定的 Solidity 模式。
一套嚴格的四階段方法論,強制要求在應用任何程式碼修復前,必須先進行系統性的根本原因分析。
AI 優化專案追蹤系統,利用 YAML 與 Markdown 混合格式,實現高效率的專案編排、階段管理與自動化任務委派,大幅降低 Token 消耗。
編寫有效模糊測試 (fuzzing) 腳本的技術。適用於建立新的模糊測試目標或優化現有的腳本程式碼。
從舊版 Crowi (Express/Swig) 遷移至現代架構 (Next.js 16/Fastify/ts-rest) 的自動化遷移工作流程。
方法驅動的規劃工作流程,使用 zen-mcp 工具將任務分解為結構化的 plan.md 文件,並根據用戶的明確度與自動化需求進行適應性調整。
階層式目標追蹤系統,將三年願景連結至每日任務。自動化計算進度、偵測停滯目標,並整合 Obsidian 庫中的專案與目標對齊。
為新創公司提供專業 AWS 架構設計,專注於無伺服器、可擴展性、成本優化、現代化 DevOps 實踐及基礎設施即代碼 (IaC)。
戰略性測試數據生成、管理與隱私合規,用於構建可擴展、安全且逼真的品質工程工作流。
Anthropic Claude 整合模式:串流、使用 pgvector 的 RAG、工具使用、模型選擇(Haiku/Sonnet/Opus)、提示詞快取及 AI 工程成本管理。