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

An MCP server for Rocq (formerly Coq) proof development. It exposes compilation, verification, querying, and interactive tactic stepping as MCP tools, so that LLM agents can write and check Rocq...

一个基于模型上下文协议(MCP)的航空机票查询服务器。该服务器为AI助手提供标准化的航班实时动态查询功能接口。

All exfiltration in this PoC targets localhost (127.0.0.1:9999) only. This project exists to demonstrate a novel class of attack against MCP-enabled AI agents to drive improvements in MCP client...

Turn any video — YouTube, Instagram, TikTok, Loom, X, Vimeo, direct links, local files — into transcripts, key frames, OCR text, and metadata for AI agents.

Give your AI coding agent the ability to create, read, and edit Word documents. Edits appear as tracked changes in Microsoft Word — red strikethrough for deletions, green underline for insertions —...

Memory for AI agents that never leaves your device. Local-first, end-to-end-encrypted, zero-telemetry memory engine (Rust, MCP) — gives Claude & any MCP client persistent cross-session memory.

让你的 AI 大模型成为企业微信开发专家 - 1 MCP · 41 Skills · 550+ APIs · 三大开发模式全覆盖 —— Make Your AI Model a WeCom Development Expert - 1 MCP · 41 Skills · 550+ APIs · Comprehensive Coverage of Three Major Development...

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

Store, query, and create YAML workflow playbooks for LLM agents via MCP. STDIO or Streamable HTTP.

Local MCP bridge for image understanding and web-page reading with OpenAI-compatible models

Your agent loses the plan between sessions, so saga-mcp gives it a SQLite-backed tracker for projects, epics, tasks, subtasks, dependencies, and notes: 33 MCP tools, an activity log, and a one-call...

Official RollingGo Hotel Booking MCP Server. 2M+ hotels at wholesale rates, 40+ LLM compatible. Free unlimited calls for businesses & individual devs.
Agent Skills

Skills, agents, and templates for spec-driven development with Claude Code. Stack-agnostic at the core, with optional preset configs for common stacks (iOS+Firebase+Cloud Run, etc.).

Lightweight and Memory efficient terminal for Mac built with SwiftUI and libghostty . Mac | iOS | Android | Discord

agentchengfeng/writing-assistant-skill agent skill.

- 用 Python wrapper 调 dreamina - 统一参数名 - 校验本地路径 - 返回稳定 JSON - 支持 --dry-run

Read it online at : fully searchable, with 108 documentation pages, 104 reference PDFs, and 212+ topics across 23 domains.

Kebab-case folders, validated YAML frontmatter, typed blocks, progressive disclosure - exported as a clean SKILL.md bundle.

Claude Code marketplace plugin — full digital chip design pipeline. 15 plugins · 16 skill files · 13 chip-design domains + infrastructure + pipeline orchestrator · closed-loop verification↔RTL...

A production-ready Claude Code configuration for product managers. Drop these files into your project and Claude Code immediately understands PM work.

Claude Code를 "한 번의 대화를 잘 굴리는 도구"가 아니라 로 다루기 위한 실습들을 챕터·절 단위로 묶어 두었습니다. 각 예제 폴더에는 자체 README.md 가 들어 있으니 실행 방법과 결과 비교는 해당 폴더의 문서를 참고하세요.

Beautiful HTML email campaigns with Resend and Claude Code.

A plugin that turns your AI coding agent into a senior GRC (Governance, Risk, and Compliance) analyst.

割安株スクリーニングシステム。Yahoo Finance API(yfinance)を使って60+地域から割安銘柄をスクリーニングする。Claude Code Skills として動作し、自然言語で話しかけるだけで適切な機能が実行される。