Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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
CTO-level architectural skill for Claude Code
Official plugin marketplace repository for PI-Desktop
civ-finish-quotes is a platform-neutral skill and toolkit for adding Civilization-style completion quotes to real finished work.
Skills that make Claude Code proactively suggest its own power tools - workflows, goals, loops, hooks - at the right moment
把金融級 PRD 方法論工程化成四個 Claude Skills：找洞 → 寫規格 → 產測試。含交易所提現、自營交易挑戰賽的完整 PRD 範例。
将任意线上网站的设计风格提取为一份结构化 `DESIGN.md`。本 skill 是 design-extractor Chrome 扩展的命令行 / AI Agent 移植版。
Guides users through a stricter 7-step agile PM workflow Skill. Invoke when users have a rough product idea and need interactive HTML prototype, PRD, mermaid flowcharts, and versioned delivery.
Redteam / Pentest Skill Pack — semi-automated workflow + on-demand module selection + real-world attack chains | Kali + Claude Code 红队/渗透/技能包 - 半自动工作流 + 按需点选模块 + 实战利用链 | 基于 Kali 与 Claude Code
Generate beautiful procedural clouds in Three.js using WebGPU raymarching with WebGL2 billboard/mesh fallbacks.
为 Claude Code、Cursor 等 AI 编程工具安装 QKA 技能：
是一个专为 Claude Code，codex,workbuddy等 设计的用户需求洞察技能，基于**，帮助产品经理、创业者、营销人员快速理解目标用户、挖掘情绪动机、将洞察转化为可落地的产品机会。 理论来源：https://mp.weixin.qq.com/s/Iqg7PLO3uji6QDlDUBzfgQ ， 《小而美》
Lance is a modern columnar data format optimized for ML/AI workloads, with native cloud storage support. This extension will make Lance the best file/table/lakehouse formats on DuckDB.