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

Write a SKILL.md, drop in some evals, and find out — empirically — whether your skill actually makes the model better at the task.

Experimental skill — will iterate over time. Please send your feedbacks in github issues.

A curated marketplace of Claude Code plugins for software engineering workflows.

把中文全渠道内容(抖音 / B站 / 小红书 / 公众号 / X / 播客)采集进个人知识库的 13 个 AI Skill:图文存图、视频转文字稿、字幕优先免 GPU,附带知识库 MCP server。

A comprehensive guide for setting up Claude Code CLI with PRD-driven workflows, extended thinking (ultrathink), and planning modes optimized for Swift/SwiftUI iOS development.

Open-source, local-first AI journal app for iOS and Android. Capture text, photos, and voice — AI agents organize them into timeline cards and insights. Your data stays on your device.

Unofficial API for Yahoo Finance with CLI, MCP and Agent Skill.

On February 28th, 2026, DeerFlow claimed the 🏆 #1 spot on GitHub Trending following the launch of version 2. Thanks a million to our incredible community — you made this happen! 💪🔥

Salesforce's curated collection of agent skills for building applications. Optimized for Agentforce Vibes, compatible with all AI tools.

Metadata-driven CLI for AI Agent Bots — 48 operations across 7 domains, structured JSON envelope I/O, zero interactive prompts.

Local FFmpeg · No cloud · No API keys · Python standard library Claude Code · Cursor · Codex · MCP

AI got superpowers through Skills and MCPs. What about humans?