Agent Skills Hub

cairo-vulnerability-scanner

掃描 Cairo/StarkNet 智慧合約以發現關鍵安全性漏洞，包含算術溢位、L1-L2 通訊問題及未經授權的存取。

binary-analysis-patterns

精通二進位分析、反組譯與反編譯。識別指令模式、呼叫慣例與控制流程邏輯，協助分析可執行檔與編譯後程式碼。

audit-prep-assistant

使用 Trail of Bits 的系統化稽核準備清單來準備程式碼庫，涵蓋靜態分析、測試覆蓋率、死碼移除、文件生成及建置環境驗證，協助專案順利通過安全性評估。

algorand-vulnerability-scanner

分析 Algorand TEAL 與 PyTeal 智能合約，檢測包含重簽名攻擊、邏輯缺陷與交易驗證錯誤在內的 11 種關鍵安全性漏洞。

mcp-prompts

一種智慧型開發編排技能，透過 mcp-prompts 整合，提供自我優化的程式碼分析、建置錯誤診斷與自動化工作流程配置。

rt.safety.auditor

分析 C++ 程式碼中的即時安全性違規，包括音訊執行緒中的堆積記憶體分配、鎖定、阻塞呼叫及非確定性操作。

Vercel Deploying

自動化 Vercel 生產環境部署代理，透過 MCP 獲取建置日誌、診斷錯誤、修復問題並自動重試，直到部署成功。

audit-skills

審核 AI 技能的安全性，偵測提示注入、隱藏指令、工具濫用及數據外洩風險。

quality

Rust 專案的專家級程式碼審查工具。使用 Bazel 與專案特定規範，進行全面的品質、安全、效能及架構分析。

debug-mcp

針對 MCP 伺服器與 Microsoft Copilot Studio 整合的系統性除錯工作流程，包含常見修復模式與驗證腳本。

Data Optimizer Pro

Claude Skills 安全掃描工具，可檢測惡意代碼、數據洩露風險及未經授權的系統訪問，確保安裝安全。

lint

執行 vibe-kanban CLI 程式碼庫的標準 Deno lint、格式化與型別檢查。