Cursor 설치 가이드
개발자용 MCP 서버와 함께 자주 쓰이는 AI 코드 에디터.
MCP Servers

Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.

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...

This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.

Issue tracking for the agentic coding era. One binary. One SQLite database (plus an attachments dir). MCP built in.

AI assistants are powerful, but they struggle with Kubernetes because:

Universal Memory Protocol (UMP) - an open standard for agent memory. The third interop layer beside MCP (tools) and A2A (coordination).

An MCP server that gives AI assistants direct access to your Help Scout inboxes, conversations, customers, organizations, threads, and Docs knowledge base.

Grok Build plugin for Claude Code, Grok, Codex, Cursor and others. Provides /grok:search, /grok:review, /grok:rescue commands + grok_search MCP tool for live X/web search.

Wavelet-based multi-resolution context management for LLMs via MCP.

Ultimate Telegram Bot API MCP server — full v9.6 coverage, meta-mode, rate limiting, circuit breaker. TypeScript.

Search and memory across your AI coding sessions — one index over Claude Code, Codex, and Pi. Fuzzy-find and resume from the CLI, give agents recall via MCP, and get usage reports.

A Multi Agent Memory MCP That Connect Agents Across Systems and Machines
Agent Skills

An essential development guide for Claude Code that ensures idiomatic Elixir and Phoenix LiveView code.

Stop chasing better models. Engineer the loop.

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 大佬的写卡教程与工作流理念,是本技能写作规范的基石。

出行路书工作流 skill:联网实查 + 多源交叉验证,产出可核验、能执行的旅行攻略。覆盖吃住行游拍避全维度,附美食情报卡、基准骨架与校验工具,支持一键部署在线版。

Make AI understand your Xiaohongshu (RedNote)

Aeloon is a lightweight, high-performance, and modular AI agent framework featuring graph-driven parallel acceleration and flexible hot-swappable plugins for many usages (Deep research, Wiki,...

Persistent memory for AI coding agents. Your agent remembers what it learned across sessions.

谢胜子思维操作系统 Skill | 基于女娲框架蒸馏,包含5个核心心智模型、8条决策启发式和完整表达DNA

面向 CS 顶会论文写作的 7-Agent Pipeline Skill,运行在 Claude Code 之上。将一个粗糙的研究想法变成一篇投稿就绪的顶会论文,覆盖从选题到 Rebuttal 的完整管线。

Claude Code Skills for .NET developers.