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.

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

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.

Claude Code skill plugin: drive Blender 5.x like a senior 3D artist via natural language. 10 chain-loadable skills (modeling, materials, lighting, cameras, rendering, animation, export,...

段永平.skill — 一个可运行的段永平思维框架 Skill,基于雪球2212条问答、6场深度访谈、600篇博客提炼。由女娲(Nuwa Skill)构建。

TabClaw: Interactive AI Agent for Table Analysis

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

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