Cursor 安装指南
常与开发类 MCP Server 搭配使用的 AI 代码编辑器。
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

The script. The prompt. The hosts' roles. Their voices. The content they discuss. All of it.

AutoSkill is a practical implementation of . It learns from real interaction experience (dialogue + agents), automatically creates reusable Skills, and continuously evolves existing Skills through...

从初稿搭建 · 结构修订 · 图文对齐 · 引用核验 · 投稿前预检 到 返修回复的全链路 journal-first · claim-driven · 证据边界优先

An agent skill that turns your coding agent into a color science expert. Built from resources I keep looking up, returning to, and sharing with others.

AI-powered article illustrations with intelligent position detection and cover learning system. Claude Code Skill.

iDeer 是一个**工具。你告诉它你关注什么,它替你盯住散落在各个平台的更新,用 LLM 做筛选、打分、摘要,最后把值得看的内容在你设定的时间自动送到邮箱里。

The most autonomous agent framework. Give it a direction and it gets the work done: ships features to your repos, finds and privately discloses real vulnerabilities, deploys live apps, runs deep...

Beautiful README badges, inspired by shields.io and styled like shadcn/ui.

给 Agent 一条 URL,直接拿到正文、图片和元数据;不启动浏览器,不把整页 DOM 塞进上下文。 English · 简体中文

作者:王梦珂 Mengke|好事发生 App 开发者|好事引力创始人|畅销书《爆款》作者

Expert guidance for any AI coding tool that supports the Agent Skills open format - modern Swift Testing APIs, XCTest migration, parameterized tests, traits/tags, async testing, and parallel...

CAE Agent Hub is a collection of MCP servers, reusable agent skills, solver automation scripts, and browser result viewers for mainstream engineering simulation software.