Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。
AI-native SwiftUI component library with full-stack recipes — connect via MCP for instant access.
MCP server + embedded terminal that lets Claude Code see and edit your ComfyUI workflows
a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp
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...
Tableau's official MCP Server. Helping agents see and understand data.
传说，在每一行代码的阴影里，蛰伏着一头来自深渊的**。它以**为食，以**为巢。无人得见其形，只因它的**。它不追逐光，不咆哮于风，只等**。当**，幽狼便**——那时，，仿佛整个世界都不曾察觉。唯有虚空记得：
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.
An MCP server for reading, searching, organizing, and sending email through IMAP and SMTP.
A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.
Demo only. Actual searches run by default (no visible browser). Set SURF_HEADLESS=false to make Chrome visible like in the clip above.
Fast, cheap, typed judgments from TypeSafe's Jev model, as MCP tools.
