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

Lean Theorem Prover MCP

An MCP for WireShark (tshark). Empower LLM's with realtime network traffic analysis capability

Local-first Apple Health MCP server. Lets AI assistants answer questions about your sleep, workouts, activity and heart data from a local export.

Things.app MCP Server

📖 Docs · ⭐ Star us · memtrace.io · npm · Discord

The Anytype MCP Server is a Model Context Protocol (MCP) server enabling AI assistants to seamlessly interact with Anytype's API through natural language.

MCP server for Coolify — 42 optimized tools for managing self-hosted PaaS through AI assistants

162 MCP tools for AI-powered Godot 4 development. Scene, animation, 3D, physics, particles, audio, shader, input simulation, runtime analysis, navigation, testing & more. $15 one-time.

This MCP server provides browser automation capabilities through Puppeteer, allowing interaction with both new browser instances and existing Chrome windows.

WordPress plugin that turns Elementor & WordPress into an MCP server. 200+ AI-ready tools for building, editing, and managing page designs programmatically.

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

build a presentation, convert a PPT/PPTX to web, or create slides for a talk/pitch with unique stylish design. customizable length, styles, format

Real-Word Skills from customer conversations on how Copilot Cowork to perform such work

它是一个skills,能根据需求文档快速实现测试用例的生成

skills-manage is a Tauri desktop app for managing AI coding agent skills across multiple platforms from one place.

This skill is maintained as a standalone submodule of Kernel Design Agents (KDA) for easy installation.

Elegant and powerful Apple services for education and business. https://www.datajar.co.uk

Skills for AI for frameworks and workflows from A Smart Bear articles and the book Hidden Multipliers

Coleção de mantidas pela . Cada skill é uma capacidade especializada que o Claude carrega sob demanda para executar um tipo de tarefa com método próprio.

100% C# OpenClaw

18 interconnected skills covering computational geometry, parametric modeling, generative design, structural computation, environmental simulation, facade engineering, digital fabrication, BIM...

An Android app pentest pipeline built as a small set of . Drop an APK in apk/; every finding that survives static review, dynamic verification, and API testing goes through an adversarial...

The open-source revenue operations layer for Claude: 45 skills for B2B revenue and RevOps teams scaling fast.