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、格式化与类型检查。