Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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
Flash a Cardputer-Adv and install the Claude Buddy apps in one command.
A Claude Code skill that bootstraps and drives retro game reverse-engineering projects. Point it at a ROM or binary, and it scaffolds a full RE workspace — then iteratively disassembles, annotates,...
Local MCP Gateway is a local gateway for MCP clients.
读取本地 Claude Code / Codex CLI / Kiro / Trae / Gemini Antigravity / Cursor 的真实使用数据，自动生成**的 AI-Native 开发者画像 —— 一份长报告 + 一张竖屏海报。
专为超级个体的打造的桌面 AI 工作台，使一个人抵一个团队 code 和 work 双场景的通用智能体，Skills+ 、内置多款成熟应用、AI 应用生成与一键发布
A collection of Claude Code skill plugins for financial services. 91 skills across 7 domain plugins teach Claude investment management, regulatory compliance, advisory workflows, trading operations,...
做了十年独立站，操盘超1亿美金预算，我把我自己蒸馏成了30 个独立站AI顾问。这是一套面向独立站与 DTC 品牌的全链路增长顾问 Skill 系统。30 个模块，三层架构，覆盖从市场洞察到规模化扩张的完整链路。
本项目的角色卡编写方法论和提示词设计大量参考了 sanmingyue 大佬的写卡教程与工作流理念，是本技能写作规范的基石。
Turn boring B2B problems into $15K-$50K custom software solutions using AI code generation.
There is no creativity in AI. There are the methodologies of winners.
SkillPointer is an for AI development agents (OpenCode, Claude Code, and others) that solves a specific scaling problem: when you have hundreds or thousands of skills installed, the startup token...
Reference Checker Skill 是一个用于**的 AI Skill，适合研究生、科研作者、编辑、审稿助理和学术写作者使用。