Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers

Lean Theorem Prover MCP

Spec-Driven Development MCP Server, not just Vibe Coding

Enable AI agents to work reliably - giving them secure access to structured data, tools to take action, and the context needed to make smart decisions.

The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

A hands-on workshop, presented at AI Engineering Conference Europe, building a multi-agent AI system with two MCP servers: a and a . Both connected to a harness like Claude Code or Cursor.

TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.

An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude

Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 commands, 246 MCP tools, change-safety gates, audit evidence, zero API keys.

MCP server exposing SSH control for Linux servers via Model Context Protocol.

一款支持godot开源引擎的的mcp插件,支持常见godot引擎操作,一键配置服务。This is an MCP plugin that supports the Godot open-source engine, offering support for common Godot engine operations and one-click service configuration.

Search Airbnb using your AI Agent

MCP servers for the UniFi suite of applications, Network, Protect, Access, and Drive
Agent Skills

GPT Image 2 AI image generation skill for OpenClaw, Claude Code, OpenCode, and Cursor - one command install

Plugins for @claude that connect the agent to common SaaS services. Each service is its own plugin, so a workspace can connect exactly the services it uses.

프롬왓의 힉스필드 소울 2.0 스킬. 한국어 한 줄이면 화보급 프롬프트가 나온다. 클로드·코덱스 겸용

A curated collection of 178 ready-to-use e-commerce skills that make AI assistants dramatically better at helping you run and grow your online store.

npx skills add ethglobal-skills/repo - 17,180 projects, sponsor/bounty docs, and all Finalist/bounty winners

Free Gemini Spark skills library with reusable Google Workspace AI agent workflows for Gmail, Calendar, Drive, Docs, Sheets, Slides, YouTube, Maps and business automation.

RunComfy AI media skills for Claude agents — incremental publish test

Triage docs feedback into fix-now, backlog, bug, or FR with owners.

A starter template for building an AI-augmented Second Brain using Obsidian, CODE/PARA, and AI skills, including templates, queries, and AI instructions to get started

22+ agentic skills for Antigravity IDE — slash-command workflows that automate code reviews, debugging, UI/UX design, security audits, testing, release management, and documentation.

TikTok marketing skills for Claude Code and Codex: 3-second video hooks, captions, trend mapping, and a weekly plan. Draft, humanize, and publish via Publora. MIT.

Discover AI skills for SAP — search, filter, and install skills for your digital assistant.