Cursor 安装指南
常与开发类 MCP Server 搭配使用的 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
Disclaimer: This is not AGI — it is a frontier exploration.
, verb. To stamp a mark that cannot be erased. noun. The mark itself, permanent, portable, unmistakably yours.
✅ AI governance skill for Claude Code | AI 治理框架 | AI ガバナンスフレームワーク — Safety gates, evidence rules, anti-slack
Distills Linus Torvalds' code-review methodology from his LKML emails into a reusable, language-agnostic skill.
YouTube and YouTube Shorts marketing skills for Claude Code and Codex: high-CTR titles, SEO descriptions, retention hooks, thumbnails, and a content plan. Publish via Publora. MIT.
Autonomous skill generator that enables AI agents to learn new technologies from the web. Use this skill when you want to research a library, framework, or tool and generate reusable...
A Claude skill for designing comprehensive test cases using PICT (Pairwise Independent Combinatorial Testing).
Skill para Claude que remove traços de escrita de IA em português brasileiro
将 AutoKernel 的 6 层调优手册拆解为 （约 1,500 行），覆盖 7 个 LLM 核心算子 + NVIDIA/AMD 双平台。
基于 Claude Code 的 AI 辅助中文网文创作系统，集成 7 个专业 Skills + 1 个 Agent，覆盖从拆书分析、大纲规划、逐章创作、去 AI 润色到成稿输出的完整工作流。
- 对话、工具调用、检索过程都会落到本地文件 - 长期记忆使用可直接编辑的 Markdown - 技能不是黑盒函数，而是可读可改的 SKILL.md - 前端可以直接看到流式回复、工具链路和检索证据
Skill para Claude Code que remove marcas típicas de textos gerados por IA, deixando a escrita mais natural, clara e próxima da linguagem humana.