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

Hunter Community Edition · 私人金融 AI 团队 · AI 智能体 + AI 量化 · 开源自托管 · powered by opencode + Claude Code + MCP + multi-agent · your private financial AI team · open-source self-hosted · 15 min docker start

科研绘图skill、论文绘图skill、图片转visio等可编辑格式,将生成图转化为论文可编辑图,便于作者调整绘图细节

Direct complete videos—from the first idea to production-ready media.

Give your AI coding agent the power to drive — transcribe, add and translate subtitles, review speakers, edit timelines and overlays, and export — all from natural language.

Install and use the measurable adversarial code-audit skill with scan-only defaults and explicit permission before source edits.

Web search, content extraction, site crawling, URL discovery, and deep research — powered by the Tavily CLI.

A compact agent skill for turning short prompts into beautiful, realistic GPT Image 2 images.

Swift Testing Agent Skill for AI Coding Assistants

Drag-and-drop email editor for modern apps — source-available, MIT after two years

Use the coding agents, browser sessions, desktop apps, notifications, and tool access you already have.

新论文层出不穷,英文读得再顺也不如母语省心;我们想把这些论文变成排版规范、读着顺口的中文 PDF。

一个适用于 Claude Code / Codex 的技能,用来生成惊艳、带动画、单文件的 HTML 演示文稿,并内置浏览器编辑器:可拖拽对象、调整大小、编辑文本、重排页面、本地保存,并导出干净的独立 HTML。