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
面向中文 toB 商业汇报的 Codex PPT 工作流 skill：既可以生成高视觉图片型 PPT，也可以把图片页、截图页、整页生图页拆成更可编辑的 PowerPoint。
My agent configuration for Claude Code and Codex.
Unlock the web with AI-powered scraping, search, and structured data
Fantasy 生命感人像摄影 skill
Generate AI agent skills from your NPM dependencies.
— a skill, a system, a video script, even the structure of an article. The human adjudicates, the agent runs the errands.
English | 한국어 | Design Preview 🖼️ | 유튜브 영상 가이드
SwiftData Agent Skill for AI Coding Assistants
面向 Codex 的达芬奇自动剪辑 Agent：从任意视频、音频和图片素材出发，完成素材分析、文案创作、TTS、剪辑蓝图、DaVinci Resolve 时间线构建、成片审计与补拍建议。 A DaVinci Resolve auto-editing agent for Codex that turns arbitrary video, audio, and image media into an...
40 SAP development plugins with evidence-tracked verification
tell your agent to run uvx repren@latest --help and follow the instructions to install repren as a skill. Once installed, it uses repren automatically for bulk refactors and renames. See Agent Use.
A community-driven collection of DFIR / incident response : reusable prompts, workflows, and helper files that help practitioners move faster, stay consistent, and maybe—just maybe—get some sleep.