cairo-vulnerability-scanner
掃描 Cairo/StarkNet 智慧合約以發現關鍵安全性漏洞,包含算術溢位、L1-L2 通訊問題及未經授權的存取。
探索與 unit testing 相關的 AI Agent 技能。在 Mentalok Skills Hub 瀏覽可安裝的 Claude Code 與自動化技能。
探索可重用的代理技能,查看實作細節,快速找到適合你工作流程的技能。
共找到 32 個技能
掃描 Cairo/StarkNet 智慧合約以發現關鍵安全性漏洞,包含算術溢位、L1-L2 通訊問題及未經授權的存取。
實作專業後端架構模式,包含整潔架構 (Clean Architecture)、六角形架構 (Hexagonal) 與領域驅動設計 (DDD),以打造可擴展、易測試且易於維護的系統。
整合 AddressSanitizer (ASan) 以偵測 C/C++ 專案中的記憶體安全漏洞,如緩衝區溢位與使用後釋放錯誤。
結構化、模板驅動的端到端功能開發工作流,包含編碼、自動化測試、驗證及基於會話的持續改進。
一套用於 .NET 工程的技能,涵蓋領域驅動設計 (DDD)、EF Core 持久化、BDD 風格單元測試,以及透過 Serena MCP 實現的 IDE 語義代碼理解。
一個用於測試 Sheikh-CLI 代理框架中多技能加載與協調的工具技能。
indiiOS 的自動遞迴執行引擎,負責管理任務完成、狀態驗證與錯誤處理。
專為現代 Web 應用程式設計的進階 TypeScript 與 React 開發助手。精通元件架構、狀態管理、Vitest 單元測試、Playwright 端對端自動化以及高效的 TypeScript 配置。
建立生產級 Go API 服務,包含可觀測性、本地開發環境與整潔架構的樣板程式碼。
生產級 Bash 腳本編寫助手,強制執行安全性、可維護性與 ShellCheck 標準。包含自動化腳本頭部模板、最佳實踐模式及針對檔案修改的風險防護機制。
透過 Context Engineering 原則,為 AI 代理程式初始化、生成並執行完整實作藍圖 (PRPs),實現軟體開發一次成功。
實作專業的 TDD 工作流程,包含 80% 以上覆蓋率要求、自動化測試策略,以及強制執行 AAA 模式以確保程式碼的高品質與穩定性。