Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.
The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.
MCP server that implements Claude Code's agent teams protocol for any MCP client.
iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。
Superhuman Mail MCP Server
An MCP server that slurps data from Google News and Google Trends RSS endpoints, optionally distills it with LLM/NLP, and barfs out structured results.
MCP Client as Agent Strategy Plugin with Computer Using Agent (UI-TARS-SDK) support. Dify is not MCP Server but MCP Host.
— DSGVO, BFSG Barrierefreiheit und Einwilligungs-Widerruf. Auf Basis echter Gesetzestexte via rechtsinformationen.bund.de MCP.
Claude Code skills that let Claude interact with Web of Science (WoS) through Chrome DevTools MCP.
小红书自动评论工具（MCP Server） 这是一款基于 Playwright 开发的小红书自动搜索和评论工具，作为 MCP Server，可通过特定配置接入 MCP Client，帮助用户自动完成登录小红书、搜索关键词、获取笔记内容及发布智能评论等操作。
Arm's MCP server
kiro SPEC mode impl by mcp
Agent Skills
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-基于10大领域视角用算法分析人际交往的 skill (A skill written in my free time – using algorithms to analyze interpersonal interactions from the perspective of 10 major areas.)
Open-source security platform for AI agents -- audits skills before install, monitors 24/7, shares threat intelligence across all users. | AI Agent 開源安全平台 -- 安裝前審計 skill、24/7 即時監控、社群共享威脅情報。
- 读完 README 和 CLAUDE.md 后，可以引导用户完成配置 - 用户遇到问题时，主动提出"我可以读 docs/FAQ.md 帮你排查" - 用户有功能想法时，主动说"我可以帮你提交到 GitHub" - mycc 的 cc 会定期读取 Issues，你提交的建议会被看到
Personal agent assistant
A Claude skill that walks you through writing a systematic literature review following the PRISMA 2020 framework.
将 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.
Univer Skill enables AI tools to work directly with spreadsheets, Excel workbooks, and CSV files. Powered by Univer CLI, it brings Git-style diffs, reviews, approvals, and rollbacks to spreadsheet...