Cursor 설치 가이드
개발자용 MCP 서버와 함께 자주 쓰이는 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
刘聪 NLP 的 Skill 仓库。每个 Skill 都放在 skills/ / 下，可以按需安装和使用。
⛵ Native tools that agents can rely on.
Superpowers workflow system for Amplifier - disciplined software development with TDD, systematic debugging, and structured planning. Ported from obra/superpowers.
Welcome to the repository! This project provides a set of best practices, coding rules, and prompt instructions to guide AI-assisted development, especially with GitHub Copilot and similar tools.
An extension for analyzing and improving AI prompt files. Works with SKILL.md, .agent.md, .instructions.md, and .prompt.md files — providing LLM-powered semantic analysis directly in VS Code.
OpenClaw aka (Clawdbot, MoltBot) is an open agent platform that runs on your machine and works from the chat apps you already use.
StartupKit is an for Claude Code. It decomposes the business-ideation problem into a bounded sequence of 11 phases — diverge → niche → competitors → positioning → offer → validate → money → leads →...
Codex/Claude skill for dear interactive gift templates
A collection of Claude Code skills you can install as plugins. The repo works as a Claude Code plugin marketplace: add it once, then install only the skills you want.
Curating the greatest Claude AI Skills that actually change how you work.
一套面向中文学位论文的 AI 写作辅助 Prompt 库。打开任意 AI 对话界面（Claude / ChatGPT / Gemini / DeepSeek / 通义千问……），粘贴对应的 SKILL 内容，即可开始使用。
Claude Code Skill：AI 一键部署自建 VPN（VLESS + XHTTP + TLS + Cloudflare CDN）· One-command VPN setup on any VPS using Claude Code AI. 3X-UI, Xray, Nginx, auto SSL, anti-fingerprint decoy site.