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
一套给 AI 用的认知方法论 Skill 包：把「发散 → 收敛 → 验证 → 审查 → 归真」变成可执行、可强制、可迭代的工程管线。
Meihua Yishu (梅花易數 / Plum Blossom Numerology / Plum Blossom I Ching) is a traditional Chinese I Ching divination method, attributed to Shao Yong (邵雍) of the Song Dynasty.
CET Skill 是一个面向大学英语四、六级备考的 Skill。它基于 ，提炼写作、翻译、阅读、听力四大模块的题型结构、主题趋势、难度差异、干扰项逻辑和评分规则，并据此生成贴近真题风格的模拟训练。
One Skill for all repos. Give your agent access to the source code and docs of all open-source libraries
雅思自学 skills，用于搭配 ClaudeCode 自学雅思，功能丰富好用
Outcome-focused Firecrawl skills for AI coding agents. These workflows use Firecrawl to produce concrete deliverables such as research reports, SEO audits, QA reports, knowledge bases, lead lists,...
A Claude Code skill + slash command that takes any GitHub repo and drives a full OSS contribution pipeline end-to-end: discover a quick-win candidate (labeled issues + repo scan), run a TDD dev-loop...
Turn a Zillow listing into a cinematic, room-by-room walkthrough video — right inside Claude Code. Apify pulls the photos, Higgsfield animates each room, ffmpeg stitches the final cut.
🎬 把 PPT 变成电影级网页演示 | Transform slides into cinematic web showcases
A divide-and-conquer wiki of system-design skills for Claude Code — reason about scalable systems, don't memorize architectures.
A collection of UX and AI product design skills for Claude Code. Install them and Claude will automatically apply the right framework when you ask design-related questions.
A portable, markdown-based that teaches an AI coding agent (Claude Code, and any agent that reads skill files) to produce — the calm, premium "macOS Liquid Glass" look of apple.