Cursor 安装指南
常与开发类 MCP Server 搭配使用的 AI 代码编辑器。
MCP Servers

An MCP server for automated first-order logic reasoning using Prover9, Mace4, and an onboard reasoning LLM.

A Model Context Protocol (MCP) server that allows Claude and other MCP clients to connect to Aider for efficient file editing capabilities.

tmux-mcp-rs is a Model Context Protocol (MCP) server for tmux. It lets MCP clients create sessions, shape windows and panes, run tracked commands, inspect output, manage tmux buffers, and drive...

An MCP server that provides tools for analyzing Instagram engagement metrics, extracting demographic insights, and identifying potential leads from Instagram posts and accounts.

Windows-first local AI-agent runtime and MCP gateway 214 configurable tools for local files, Git, processes, Windows automation, WSL, browser control, indexing, observability, and extensibility; 208...

* 您问AI:"我的服务器现在怎么样?" * AI直接查看您的Grafana监控,回答:"CPU使用率偏高,建议检查这几个进程..."

Actual MCP Server is a Model Context Protocol server that connects any MCP-compatible AI assistant (such as LibreChat, LobeChat, Claude Desktop, and more) directly to your self-hosted Actual Budget...

is an AI-native automation framework that enables AI assistants to control Windows systems through natural language commands.

— turn any instance (15 → 19) into an via the . 197+ tools, multi-tenant, (НАП, ДДС, ЕИК) included.

Use the hosted remote MCP server: add https://mcp.webscraping.ai/mcp to your MCP client and sign in with your WebScraping.AI account — OAuth handles auth, no API key or local install needed.

A Model Context Protocol (MCP) server for Bentley STAAD.Pro that like Claude Desktop, Gemini, or VSCode Copilot and perform various time-consuming tasks like load cases definition, data extraction,...

A Model Context Protocol (MCP) server that provides web search capabilities through Google's Custom Search API.
Agent Skills

授权 Web 渗透测试 skill。模型自主威胁建模(12 维度),JSON Schema 校验状态文件结构,报告按功能列出测了哪些威胁。

A comprehensive template repository system for bootstrapping AI-assisted development projects with Claude Code integration.

A real-time TUI monitoring dashboard for Hermes Agent.

Compile SillyTavern character cards into pi-native interactive narrative runtimes.

Visual organization tools for neurodivergent thinking - Claude Code skill with compassionate task breakdowns, decision trees, and focus support

多智能体协作,将研究问题转化为专业级研究报告 —— 每一个数据点都经过交叉验证。

마크다운 노트를 RDF/TTL 지식 그래프로 변환 - SPARQL 질의로 시맨틱 검색

Boilerplate de skills do Claude Code para projetos Next.js.

is an open set of skills for the : proven instructions, workflows, and examples that help AI agents work with Spring Boot projects predictably.

本项目的角色卡编写方法论和提示词设计大量参考了 sanmingyue 大佬的写卡教程与工作流理念,是本技能写作规范的基石。

A comprehensive Claude Code skill that gives Claude deep knowledge of htmx — the library that extends HTML with attributes for AJAX, CSS transitions, WebSockets, and Server-Sent Events.

- 与 是 skill 模式(被支持 Skills 的 IDE 加载执行),仅依赖可读的小程序源码目录 - 是独立的 Node 工程(含 CLI / Web UI),依赖 Node ≥ 18.17