Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers

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.

The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.

MCP server that implements Claude Code's agent teams protocol for any MCP client.

iida-mcp 是一个 IDA Pro 插件,通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。

Superhuman Mail MCP Server

An MCP server that slurps data from Google News and Google Trends RSS endpoints, optionally distills it with LLM/NLP, and barfs out structured results.

MCP Client as Agent Strategy Plugin with Computer Using Agent (UI-TARS-SDK) support. Dify is not MCP Server but MCP Host.

— DSGVO, BFSG Barrierefreiheit und Einwilligungs-Widerruf. Auf Basis echter Gesetzestexte via rechtsinformationen.bund.de MCP.

Claude Code skills that let Claude interact with Web of Science (WoS) through Chrome DevTools MCP.

小红书自动评论工具(MCP Server) 这是一款基于 Playwright 开发的小红书自动搜索和评论工具,作为 MCP Server,可通过特定配置接入 MCP Client,帮助用户自动完成登录小红书、搜索关键词、获取笔记内容及发布智能评论等操作。

Arm's MCP server

kiro SPEC mode impl by mcp
Agent Skills

:mortar_board: → Explore all DeepLearning.AI courses — taught by the people building the future of AI. Find your next one. :computer: → Browse the DeepLearning.

Create and manage TanStack Router and Start applications.

A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.

SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.

Practical AI agent skills for social media research, powered by ScrapeCreators.

Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.

Derived from the GAAC (GitHub-as-a-Context) project.

react-intl-universal is a React internationalization package developed by Alibaba Group.

is a complete rewrite of LuaN1aoAgent, built on TypeScript and the Pi SDK for autonomous, authorized security research.

AI-Powered SSH Client and Remote Operations Workspace SSH, Telnet, Serial, RDP/VNC, SFTP, port forwarding, and lightweight editing in one native workspace. GPU-rendered. Free. No account needed.

Call your React components like async functions — they resolve with a value.

DeepSeek Harness橙皮书《从开机到拆开》:完整系统提示词、129行启动清单、三份原始会话日志——官方文档没有的一手实测。PDF/EPUB/HTML免费下载