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

Your tokens get reset every week, you might as well use them. Nightshift runs overnight to find dead code, doc drift, test gaps, security issues, and 20+ other things silently accumulating while you...

EvoSkill: Automated Skill Discovery for Coding Agents

Frappe UI provides a set of components and utilities for rapid UI development. Components are built using Vue 3 and Tailwind. Along with generic components like Button, Link, Dialog, etc.

A collaborative list of awesome Helm resources.

欢迎来到阿里云大模型ACP高级工程师认证课程,这是阿里云大模型认证的进阶篇。在开始课程之前,先来了解阿里云大模型认证的体系架构,方便你选择适合自己定位的课程。 阿里云大模型认证体系架构:

https://github.com/user-attachments/assets/023c0a9c-194a-45a9-bb88-ac8f16f5ffd5

A curated list of delightful NoCode / LowCode applications and resources. For more awesomeness, check out awesome.

- 傻瓜操作模式(把txt文件拖到kaf-cli.exe上面自动转换) - 自定义封面 - 支持生成Orly风格的书籍封面 - 自动识别书名和章节(示例中所有用法都会自动识别) - 自动识别字符编码(自动解决中文乱码) - 自定义章节标题识别规则 - 自定义卷的标题识别规则 - 自动给章节正文生成加粗居中的标题 - 卷名使用精美的双线边框样式 - 章节序号和标题分离显示(可选) - 自定义...

This project is under active development and evolving rapidly. Contributions, feedback, and discussions are warmly welcome.

基于 Vant 设计语言,为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。

Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.

remocn is a copy-paste component library for building videos in Remotion. Instead of writing every fade, wipe, and kinetic title from scratch, you npx shadcn add a polished primitive into your...