Aderyn是一个开源的Solidity智能合约静态分析工具，由Rust编写，帮助开发者和安全研究人员发现Solidity代码中的漏洞。它支持Foundry和Hardhat项目，可生成多种格式报告，并提供VSCode扩展。

Agentic Radar是一个用于分析和评估代理系统的安全扫描工具，帮助开发者、研究人员和安全专家理解代理系统的工作流程并识别潜在漏洞。

Awesome MCP Servers 是一个全面的Model Context Protocol (MCP)服务器集合，涵盖了7158个MCP服务器，分为33个类别，包括AI集成、艺术媒体、浏览器自动化、云服务、数据库、开发者工具、文件系统、金融、游戏、硬件、医疗、基础设施、知识管理、位置地图、市场营销、监控、多媒体处理、操作系统、项目管理、科学研究、安全、社交媒体、旅行交通、实用工具和版本控制等。

JADX是一款功能强大的Android Dex和Apk文件反编译工具，支持将Dalvik字节码转换为Java源代码，并能解码资源文件和进行代码混淆还原。提供命令行和图形界面两种操作方式，适用于开发者和安全研究人员。

Awesome MCP Servers 是一个精选的 Model Context Protocol (MCP) 服务器列表，涵盖了浏览器自动化、艺术与文化、云平台、命令行工具、通信、客户数据平台、数据库、开发者工具、文件系统、金融与金融科技、游戏、知识与记忆、位置服务、营销、监控、搜索、安全、旅行与交通、版本控制以及其他工具和集成等多个领域。

LinkedInMCP是一个创新的模型上下文协议服务器，旨在改变开发者与LinkedIn API的交互方式，提供智能、安全的LinkedIn数据检索和交互框架。

Flutter MCP Server是一个开源的Dart/Flutter生态模型上下文协议(MCP)实现，为AI助手和开发者工具提供统一的API接口，支持远程调用Dart/Flutter开发工具链，实现安全、可编程的自动化开发流程。

Dynatrace MCP服务器是一个远程服务，允许开发者与Dynatrace可观测性平台交互，将实时监控数据直接集成到开发工作流中，支持问题检测、日志查询、安全漏洞分析等功能。

Octocode MCP是一款先进的AI代码助手，提供跨GitHub和npm生态系统的智能搜索与发现功能，帮助开发者快速理解代码库、分析项目架构、发现安全模式，并支持企业级安全与跨平台使用。

一款全面的代码仓库安全扫描工具，通过MCP服务器提供漏洞检测、敏感信息扫描、依赖审计等功能，帮助开发者识别代码库中的安全问题。

Noteit MCP是一个AI辅助开发工具，通过HTTP MCP服务器提供可组合的智能体配置和结构化笔记功能，帮助开发者管理复杂项目，支持OAuth安全认证和多种IDE集成。

GUARDRAIL是一个专为大型语言模型（LLM）应用生态系统设计的安全框架，特别针对模型上下文协议（MCP）提供全面保护。它采用多层架构，包括信息网关层、上下文验证层、请求控制层、执行隔离层和审计监控层，旨在防止数据泄露、未授权访问和资源滥用。该框架强调渐进式采用，允许开发者逐步增强安全性，同时保持高性能和易用性。

Awesome MCP Servers是一个精选的Model Context Protocol (MCP)服务器列表，涵盖了浏览器自动化、艺术与文化、云平台、命令行、通信、客户数据平台、数据库、开发者工具、文件系统、金融科技、知识与记忆、位置服务、监控、搜索、安全、旅行与交通、版本控制等多种工具和集成。MCP是一个开放协议，使AI模型能够通过标准化的服务器实现安全地与本地和远程资源交互。

Gemini CLI编排器是一个基于Google Gemini AI的多步骤代码分析工具，通过结构化工作流引导开发者进行系统化分析，而非替代人工思考。它提供四大核心功能：分析规划、提示词优化、迭代分析和结果合成，适用于安全审计、性能优化等复杂场景。

Sonatype MCP 服务器是一个连接AI助手与Sonatype依赖管理和安全智能平台的协议服务器，为开发者提供开源依赖项的安全漏洞扫描、许可证合规检查和健康分析等实时洞察。

该项目是一个Shopify MCP代理与模拟服务器，为开发者提供安全透明的Shopify Storefront API桥梁，支持mock.shop测试环境，通过标准输入输出与客户端工具集成。

CKB是一个将代码库转换为可查询知识库的工具，通过CLI、API或AI助手帮助开发者理解代码、分析影响、查找所有者和检测死代码，提升开发效率和安全性。

该项目是一个关于模型上下文协议（MCP）安全的资源集合，包括研究论文、安全漏洞分析、工具、文章和其他相关资源。旨在帮助开发者和安全专家了解和应对MCP协议中的安全挑战。

ZeroPath MCP Server是一个开源项目，允许开发者通过自然语言查询SAST问题、密钥、补丁等安全发现，直接集成到AI辅助开发工具中。

MySQL查询MCP服务器是一个为AI助手提供只读MySQL数据库查询服务的工具，支持多种环境配置和安全连接，帮助开发者通过AI工具探索和分析数据库数据。

TCL MCP Server是一个支持AI代理执行TCL脚本和管理MCP工具生态系统的服务器，提供安全沙箱和开发者友好的体验，支持多种运行时环境。

UltimateCoder MCP是一款本地优先的自动化服务器，专为开发者和工程师设计，提供终端命令自动化、文件编辑及AI工具增强功能。它支持本地化操作，确保数据安全，具备高级文件处理、进程控制和代码搜索能力，适用于大规模代码重构和自动化工作流。

ZeroPath MCP Server是一个开源项目，允许开发者通过自然语言查询SAST问题、密钥、补丁等安全发现，直接集成到AI辅助工具中。它简化了安全问题的处理流程，无需手动管理仪表盘或工单，直接在开发环境中提供安全上下文。

NVD MCP Server是一个连接国家漏洞数据库(NVD)的服务器，通过Model Context Protocol(MCP)框架，允许开发者用自然语言查询漏洞信息，实时获取CVE详情、关键词搜索、最新漏洞和按严重程度筛选等功能，集成到IDE中提升开发安全。

这是一个关于Awesome Model Context Protocol (MCP) Servers的精选列表，包含了各种MCP服务器、框架、工具和资源的详细分类和描述。MCP是一个开放协议，使AI模型能够通过标准化的服务器实现安全地与本地和远程资源交互。列表涵盖了从浏览器自动化、云平台、数据库、开发者工具到金融科技、游戏、安全等多个领域的MCP服务器实现。

Model Context Protocol (MCP) 是一个开放标准，允许开发者在数据源和AI工具之间建立安全双向连接。该项目提供Ruby实现的gem包，包含完整的开发流程支持和类型检查功能。

Codacy MCP Server是一个提供代码质量、安全分析和仓库管理的API服务，支持通过多种IDE插件集成，帮助开发者进行代码审查、技术债务评估和安全漏洞检测。

Google Workspace MCP服务器是一个通过Model Context Protocol协议连接Google工作套件（Gmail、日历、Drive等）的服务，提供自动化邮件管理、智能日历调度和高效文件管理功能，支持多账户安全认证和开发者自定义集成。

Awesome MCP Servers 是一个精选的Model Context Protocol (MCP) 服务器列表，涵盖了各种领域的MCP服务器实现，包括数据库、浏览器自动化、云平台、开发者工具、金融科技、安全等。这些服务器使AI模型能够通过标准化协议与本地和远程资源安全交互。

这是一个非官方的Hardcover.app GraphQL API只读MCP服务器，提供书籍、用户和系列相关的查询工具和资源，方便开发者安全、低频率地访问Hardcover数据。

Contrast MCP Server是一个连接Contrast安全数据与AI代理/LLM的桥梁，帮助开发者和安全专业人员快速修复漏洞。它支持多种部署方式，包括本地运行、Docker容器，并能与VS Code、Copilot等工具集成。

MCPVerified是Model Control Protocol生态系统的权威指南，提供基于实际经验的精选推荐，专注于TypeScript开发、安全性、性能优化和开发者体验。

Inkog MCP服务器是一个专为AI智能体开发设计的代码安全扫描与合规性验证工具，提供静态分析、治理文件验证、MCP服务器审计及多框架合规报告生成等功能，帮助开发者在开发流程中及早发现逻辑缺陷和安全漏洞。

Arcjet MCP服务器是一个为AI代理提供上下文的工具，帮助开发者集成Arcjet安全防护功能到应用中，包括列出团队和站点等功能。

该项目是关于Model Context Protocol (MCP)服务器的开发者文档，详细介绍了如何构建、运行和集成MCP服务器，以实现AI模型与实时数据、工具和业务逻辑的安全连接。

一个基于Puppeteer的MCP服务器实现，提供增强的浏览器自动化和开发者工具集成能力，支持Docker部署和安全非root运行。

这是一个全面的Model Context Protocol (MCP)服务器集合，涵盖了AI服务、艺术与文化、浏览器自动化、云平台、云存储、命令行、通信、客户数据平台、数据科学工具、数据库、开发者工具、文件系统、金融、游戏、知识与记忆、位置服务、营销、监控、笔记、其他工具与集成、研究与数据、搜索、安全、社交媒体、系统自动化、旅行与交通、版本控制和工作流自动化等多个类别。

Activepieces是一个开源的自动化工作流平台，旨在替代Zapier。它提供了一个可扩展的、类型安全的TypeScript框架，支持200多种服务的集成，并且具有AI优先、企业级安全、人工干预流程等特点。项目强调开发者友好和社区贡献，支持多语言翻译和自定义模板。