Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
Lean Theorem Prover MCP
Spec-Driven Development MCP Server, not just Vibe Coding
Enable AI agents to work reliably - giving them secure access to structured data, tools to take action, and the context needed to make smart decisions.
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
A hands-on workshop, presented at AI Engineering Conference Europe, building a multi-agent AI system with two MCP servers: a and a . Both connected to a harness like Claude Code or Cursor.
TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.
An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude
Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 commands, 246 MCP tools, change-safety gates, audit evidence, zero API keys.
MCP server exposing SSH control for Linux servers via Model Context Protocol.
一款支持godot开源引擎的的mcp插件，支持常见godot引擎操作，一键配置服务。This is an MCP plugin that supports the Godot open-source engine, offering support for common Godot engine operations and one-click service configuration.
Search Airbnb using your AI Agent
MCP servers for the UniFi suite of applications, Network, Protect, Access, and Drive
Agent Skills
IEEE Transactions on Robotics (T-RO) , 2026
Browse the registry • Mercury Agent • Catalog • Contribute
A tool for Pi coding agent that presents multi-slide visual decision decks. On macOS, uses Glimpse to render in a native WKWebView window; falls back to a browser tab on other platforms.
本仓库是一套面向 的白盒代码安全审计 Skill 集合，覆盖「路由枚举 → 鉴权建模 → 数据流追踪 → 分类漏洞审计 → 证据一致性校验 → 报告汇总」全流程；在 Cursor 等环境中以 的方式落地。
An agent skill for humanities scholars whose primary deliverable is a long-form argumentative text — history, philosophy, literature, cultural studies, art history, religious studies, classics.
The art of illusion. Cast motion. Paint signatures.
Ein kuratiertes Starter-Kit fuer moderne, agentische Softwareentwicklung mit Claude Code, Codex, Cursor und Gemini CLI.
An agent skill that attaches existing screenshots and screen recordings to a GitHub pull request as a before/after block.
A self-evolving WorldQuant BRAIN alpha research skill. It helps agents design WQ Alpha expressions, search fields, diagnose simulation failures, check IS metrics, manage self-correlation, and turn...
南鸢写真与人像摄影提示词 Skill。支持完整中文提示词、系列母版、同系列变体、网页端抽卡关键词和参考图拆解；区分固定成像机制、单张现场光线与皮肤区域反射，避免直闪近景出现全脸油膜。
An autonomous white-hat security auditor. Security automation for target prep, audit, exploit construction, and execution proof.
A universal command-line tool for managing iOS and Android devices, simulators, emulators and apps from Mobile Next.