Best & Trending MCP Servers
Search and compare MCP servers by category, install guide, and source.
MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.
MCP server for interacting with the Aseprite API
Agentic AI for everyone. No API key. No credit card. Just pip install .
Tableau's official MCP Server. Helping agents see and understand data.
Claudeに身体性を与えるMCP群
A Claude Code skill + MCP server setup for expert-level Meta Ads campaign analysis. Includes the framework, Learning Phase diagnostics, and 9 reference documents from Meta's official documentation.
Open a document, select any text, ask a question — and the answer opens as a fully-rendered child document. Follow whatever pulls at you, as deep as it goes. Every hole is saved and revisitable.
A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.
- Fully support all features and syntax of ECharts, include data, style, theme and so on. - Support exporting to png, svg, and option formats, with validation for ECharts to facilitate the model's...
Automated deep malware reverse engineering driven by AI agents. A Kali-based Docker environment pairs 50+ RE tools with MCP-connected disassembler backends (Binary Ninja or Ghidra) and a structured...
AsDecided keeps requirements, decisions, designs, roadmaps, and prompts as typed Markdown in your repository.
Open ChatGPT in your browser and manage multiple computers and servers from one conversation. Write code, change configuration, run commands, and deploy in the real environment where the work...
— 优先支持静态分析、dry-run 与本地靶场。exploit、横向移动、持久化、C2、数据外传等高风险能力属于受限实验特性；policy 与 sandbox 元数据不等同于操作系统或容器级隔离。
传说，在每一行代码的阴影里，蛰伏着一头来自深渊的**。它以**为食，以**为巢。无人得见其形，只因它的**。它不追逐光，不咆哮于风，只等**。当**，幽狼便**——那时，，仿佛整个世界都不曾察觉。唯有虚空记得：
a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp
Fast, cheap, typed judgments from TypeSafe's Jev model, as MCP tools.
这是基于 everything-claude-code 进行二次开发，提供npm一键安装方式，协议沿用MIT
MoLing is a computer-use and browser-use MCP Server that implements system interaction through operating system APIs, enabling file system operations such as reading, writing, merging, statistics,...
MCP server + embedded terminal that lets Claude Code see and edit your ComfyUI workflows
Turn any MCP, OpenAPI, or GraphQL server into a CLI — at runtime, with zero codegen
Point at any GraphQL or REST API. Ask questions in natural language. The agent fetches data, stores it in DuckDB, and runs SQL post-processing. Rankings, filters, and joins over returned data work .
A simulated Claude Code project you can click through. Every file and folder in the sidebar is a real Claude Code concept — the same .
MCP server that implements Claude Code's agent teams protocol for any MCP client.
iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。