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

local-first MCP discovery runtime for agents — search before invoke, reduce prompt bloat, and route to local MCP tools

MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration

This is a MCP server for Claude Desktop that allows you to interact with SharePoint Online using the SharePoint REST API. It is designed to be used with the [Claude Desktop](https://claude.

Self-extending MCP server - build and execute custom AI tools at runtime

mcp-name: io.github.n24q02m/better-notion-mcp

Semantic F# for AI coding agents (Claude Code · Cursor · Copilot · Codex) — an MCP server that gives LLMs real FCS/FSAC compiler intelligence (find, check, types, rename) instead of grepping F#.

Your real Safari, logged in — no Chrome, no heat, no headless.

Drop a single JAR into Burp, connect Claude Code (or any MCP client), and drive every part of Burp Suite programmatically through AI agents.

The missing link between AI models and the real‑world web: one API that delivers clean, structured data from any site.

A plugin-based MCP server for React Native runtime debugging, inspection, and automation. Connects to Metro bundler via Chrome DevTools Protocol — for most features.

Junjie.M tool https://github.com/junjiem/dify-plugin-tools-mcp_sse issues

MCP server for external memory layer for AI agents + more . Download from pypi , and get started
Agent Skills

build a presentation, convert a PPT/PPTX to web, or create slides for a talk/pitch with unique stylish design. customizable length, styles, format

Real-Word Skills from customer conversations on how Copilot Cowork to perform such work

它是一个skills,能根据需求文档快速实现测试用例的生成

skills-manage is a Tauri desktop app for managing AI coding agent skills across multiple platforms from one place.

This skill is maintained as a standalone submodule of Kernel Design Agents (KDA) for easy installation.

Elegant and powerful Apple services for education and business. https://www.datajar.co.uk

Skills for AI for frameworks and workflows from A Smart Bear articles and the book Hidden Multipliers

Coleção de mantidas pela . Cada skill é uma capacidade especializada que o Claude carrega sob demanda para executar um tipo de tarefa com método próprio.

100% C# OpenClaw

18 interconnected skills covering computational geometry, parametric modeling, generative design, structural computation, environmental simulation, facade engineering, digital fabrication, BIM...

An Android app pentest pipeline built as a small set of . Drop an APK in apk/; every finding that survives static review, dynamic verification, and API testing goes through an adversarial...

The open-source revenue operations layer for Claude: 45 skills for B2B revenue and RevOps teams scaling fast.