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

A collection of Agent Skills exported from . These skills give AI coding agents (Claude Code, etc.) authoritative, up-to-date guidance for building Apple platform apps — covering SwiftUI, UIKit...

Agent Skills are small capability files an AI agent loads only when it needs them. This repo gives your agent and a that picks the right ones for you.

A collection of AI agent for CPU performance analysis and optimization on x86 Linux. The skills give an agent structured, multi-step workflows for profiling with Linux perf, identifying performance...

给 Claude Code、Codex、OpenClaw 等 Agent 使用的创作者公开内容研究 Skill。

订阅 RSS/RSSHub 信源 → 自动拉取资讯 → AI 翻译 / 筛选 → 一键推送微信 / 同步飞书 → 图文内容创作与渲染 → Agent 全自动运行。

SKILL 是一种模块化、自包含的扩展包,通过提供专业的领域知识、工作流程和工具来增强 AI 的能力。你可以将它们视为特定领域或任务的"入职指南"——它们将通用 AI 助手转变为具备程序化知识的专业助手。

A collection of AI agent skills and prompts for OpenClaw (formerly Clawdbot), Claude Code, Codex, and other LLM-based coding assistants.

A dynamic skills plugin for OpenCode that provides tools for loading and using reusable AI agent skills.

一个面向大模型实习、AI 求职和 Codex Skill 工作流的 evidence-bound resume toolkit:不只是把简历写好听,而是让每一行都能扛住面试追问。

Provider-neutral workflows for turning AI images and videos into playable game assets.

Agent skills for secure smart contract development with OpenZeppelin Contracts libraries.

Not guides. Not courses. Skills — packaged expertise your AI coding agent loads and follows.