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

Lean Theorem Prover MCP

MCP Server for Adobe After Effects. Enables remote control (compositions, text, shapes, solids, properties) via the Model Context Protocol using ExtendScript.

AI-powered travel hacking with points, miles, and award flights. Drop-in skills and MCP servers for OpenCode, Claude Code, and Codex.

A Model Context Protocol (MCP) server that provides tools for interacting with Trello boards.

Lightweight MCP server for Spotify

MCP Gateway is an advanced intermediary solution for Model Context Protocol (MCP) servers that centralizes and enhances your AI infrastructure.

MCP server that provides LLMs with tools for interacting with EVM networks

Penpot's official MCP Server

12306 MCP Server 是一个基于 Model Context Protocol (MCP) 的高性能火车票查询后端系统。它通过标准化接口提供官方 12306 的实时数据服务,包括余票查询、车站信息、列车经停站、中转换乘方案等核心功能。

An advanced sequential thinking process using a Multi-Agent System (MAS) built with the Agno framework and served via MCP.

Built with Telethon, this server allows AI agents to interact with Telegram, enabling features like sending/editing/deleting messages, searching chats, managing drafts, downloading media, and more...

A simple, lightweight and fast MCP (Model Context Protocol) server that provides Solidity development capabilities using the Foundry toolchain (Forge, Cast, and Anvil).
Agent Skills

General-purpose workflow skills for AI-assisted software development. Built for Claude Code, but the ideas apply anywhere.

Curated collection of Claude Code skills for intelligent project development with progressive loading and toolchain detection

The fastest way to build real-time Conversational AI and Voice Agents with Claude Code, Cursor, Copilot, Windsurf, or any AI coding assistant — powered by Agora.

Claude Code skills for auditing, cleaning, enriching, and automating your HubSpot CRM

Summarize a paper with the FOCUS method

林月半子的 AI 开源技能库,持续更新中。

Clawdbot skills for agentic coding workflows - ACFS stack, cloud CLIs, and dev tools

Lab Walkthrough and Demo for the "Collaborating with agents in your software development workflow" workshop

JJ's special video production workflow for programatic editing.

AntiGravity 專屬懶人包文件(不含個人資料與研究產物)

Skills for Crypto

X (Twitter) marketing skills for Claude Code and Codex: write tweets, threads, and replies in your voice, strip AI tells, and publish via Publora. Open source, MIT.