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.

AI-native SwiftUI component library with full-stack recipes — connect via MCP for instant access.

— codebase-memory-mcp-pro is a community fork of (MIT License, © 2025 DeusData), maintained by @win4r.

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

Open-source meeting transcription API for Google Meet, Microsoft Teams & Zoom. Auto-join bots, real-time WebSocket transcripts, MCP server for AI agents. Self-host or use hosted SaaS.

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

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

Demo only. Actual searches run by default (no visible browser). Set SURF_HEADLESS=false to make Chrome visible like in the clip above.

— 优先支持静态分析、dry-run 与本地靶场。exploit、横向移动、持久化、C2、数据外传等高风险能力属于受限实验特性;policy 与 sandbox 元数据不等同于操作系统或容器级隔离。

- 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...

AI-native GPU frame debugging for RenderDoc English | 简体中文

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 .
Agent Skills

Automated social posting pipeline for Reddit, X/Twitter, and other

A Claude Code skill that turns peer review reports into structured revision roadmaps. Extracts every reviewer request as a separate task, maps dependencies as a directed acyclic graph, validates the...

Publish Markdown or HTML articles to WeChat Official Account drafts with one command. Say goodbye to tedious copy-paste-format workflows.

"Other agents start cold. Yansu.skill starts warm."

把参考视频拆成可控制、可替换的视频结构,再按用户目标生成可直接使用的视频提示词。

An skill to plan, design, and build video-driven parallax hero landing pages using video scrubbing.

two intents (improve my prompt / build this whole thing), specifiability routing, One-Shot build prompts, team execution seeded from a build brief — digest

AI agents that triage infrastructure alerts, investigate root causes, and propose fixes — while a solo operator sleeps.

superpowers-plus

Claude Code skill that optimizes content for social media engagement. Auto-generates hooks, headlines, and formatted posts for Reddit, Twitter/X, LinkedIn, and TikTok.

SillyTavern 的角色卡生态非常丰富——几千张高质量角色卡,从校园恋爱到奇幻冒险应有尽有。但部署酒馆太麻烦了:Node.js 环境、反代配置、API 对接……

A collection of specialized skill files that enhance and abilities to work with - the React renderer for Three.js.