Aderyn is an open - source Solidity smart contract static analysis tool written in Rust, which helps developers and security researchers discover vulnerabilities in Solidity code. It supports Foundry and Hardhat projects, can generate reports in multiple formats, and provides a VSCode extension.

The Mapbox MCP Server is a model context protocol server implemented in Node.js, providing AI applications with access to Mapbox geospatial APIs, including functions such as geocoding, point - of - interest search, route planning, isochrone analysis, and static map generation.

Cycode CLI is a locally installed application used to scan code repositories for security vulnerabilities, including sensitive information leakage, Infrastructure as Code misconfigurations, Software Composition Analysis vulnerabilities, and Static Application Security Testing issues. This tool supports multiple scan types, such as repository scanning, path scanning, and commit history scanning, and provides an ignore rule function to exclude specific results.

mcp-flowise is a Python package that implements a Model Context Protocol (MCP) server integrated with the Flowise API. It supports both dynamic tool registration and static configuration modes and is suitable for the integration of Flowise chat flows or assistants.

URL MCP is a tool for building MCP servers without writing or hosting code, mainly used for protocol and security experiments, supporting static text and dynamic HTTP responses.

A security microservice project based on FastMCP, used for static analysis of potential malicious content in Microsoft Office documents, supporting functions such as VBA/XLM macro detection and DDE link check.

The MCP Context Provider is a static MCP server that provides a persistent tool context for AI models, preventing context loss between chat sessions. It automatically loads and injects tool - specific rules, syntax preferences, and best practices to ensure consistency across sessions.

1Panel MCP Server is an experimental project for automatically deploying websites to 1Panel servers through the Model Context Protocol (MCP) standard protocol, supporting website creation and static file upload.

PHPocalypse-MCP is an MCP server designed for PHP developers, aiming to simplify the process of running tests and static analysis and support customizing tool commands through the configuration file.

MCP Server Semgrep is a server that complies with the Model Context Protocol standard, integrating the Semgrep static analysis tool with an AI assistant to provide code security analysis, quality improvement, and vulnerability detection functions. The project simplifies the architecture design, supports multi - platform operation, can be installed in multiple ways, and provides a rich set of code analysis functions.

PHPocalypse-MCP is an MCP server designed for PHP developers to simplify the testing and static analysis process.

SCAST is a programming tool that converts code into UML diagrams and flowcharts, supports multiple languages, and helps understand code structure through static analysis and visualization.

SCAST is a programming tool that converts code into UML diagrams and flowcharts, supports multiple languages, and provides static analysis and visualization functions.

Lanalyzer is an advanced Python static taint analysis tool used to detect potential security vulnerabilities in Python projects.

The TomTom MCP Server is a tool that simplifies geospatial development, providing seamless access to TomTom's location services, including search, route planning, traffic, and static map data, making it easy to integrate accurate location data into AI workflows and development environments.

A Semgrep server based on the MCP protocol for integrating static code analysis and rule management into the development environment.

The Hugo MCP Server is a powerful static website management server that provides a full set of tools for creating, managing, and deploying Hugo sites, including environment checking, theme installation, content management, and deployment functions.

An MCP service that provides static analysis of Clojure code

This is an MCP server for code analysis and web scraping. It supports code quality checking, dependency analysis, static/dynamic web scraping, and API discovery, providing development tools for AI assistants.

DocuMCP is an intelligent document deployment MCP server that provides a revolutionary document deployment solution for open - source projects through in - depth repository analysis, intelligent static site generator recommendation, and automated GitHub Pages deployment workflow.

Abell MCP is an experimental project. The specific functions are not clearly described, but it may be related to development or technical experiments.

PMD is an extensible multilingual static code analysis tool mainly used to detect common programming defects in languages such as Java and Apex. It supports 16 languages and more than 400 built - in rules and includes a duplicate code detection function.

This is a security analysis MCP server based on Symbiotic CLI, which provides code and infrastructure security scanning tools for compatible clients through the MCP protocol, supporting static analysis, vulnerability detection, and automatic repair suggestions.

Quack is a continuous integration server based on the MCP protocol, focusing on the automated analysis and testing of Python code. It provides functions such as code style checks and static type analysis.

The code review MCP server based on Gemini CLI provides structured code review functions for AI assistants by automatically collecting local code differences and static analysis results.

A Semgrep server based on the MCP protocol for integrating the static code analysis tool Semgrep into the development environment, supporting rule management and scanning functions.

A GitHub PR code review tool based on Cursor AI that automatically performs static analysis, security scans, and tests through the local toolchain and generates Markdown reports.