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
本仓库用于汇集 生态下的第三方技能（Skill）：把你在 整理成可被 Agent 加载执行的说明与参考资料，便于社区复用与迭代。
Your AI agent dreams like you do. Consolidates memory while you sleep.
蒸馏自己，看清自己。 蒸馏亲友，留住他们的余温与回声 让 AI 不再是冰冷的吐字机器。
Stop chasing better models. Engineer the loop.
A comprehensive collection of for Google Antigravity, ready to drop into your workspace.
Takeaway Skill / 拿来主义 Skill: distill references into reusable mechanisms, adaptation routes, pattern cards, and implementation briefs without copying surface style.
A collection of 41 skills for .NET MAUI development, UI/UX design reasoning, and Xamarin migration, designed for use with GitHub Copilot CLI and Claude Code.
为 OpenClaw 设计的**，通过小浣熊数据分析 API 提供专业的数据分析、可视化和代码执行能力。
在 AI 时代， 成为可能。一个人可以借助 AI 完成原本需要整个团队才能做的事情。
An AI coding assistant skill for creating visually rich presentations from academic papers, research notes, or any structured content.
Portable skill for building reliable LLM prompts. Drop-in for agentic-stack.
A Claude Code skill that provides systematic first principles thinking methodology for evaluating designs, challenging assumptions, and building solutions from fundamental truths.