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
"The only rules you have to follow are the laws of physics — everything else is a recommendation."
tuya-smart-control is an official AI Agent skill for the OpenClaw platform, built on Tuya's 2C end-user APIs.
Agent skills for Dart, maintained by the Dart team.
一组面向中文内容运营场景的 agent skills，覆盖微信公众号、小红书、抖音、视频号和 X/Twitter 的合规起号、定位、选题、内容计划和复盘。
awesome-ai-persona-skills 全网最全、持续更新、最火爆 100+ 人格蒸馏skills｜名人/作家/古籍/二次元/职场/情感... 创新：多智能体agent-team合集｜天涯20大神/中外著名导演...
OpenDirectory is a library of agent skills for founders who hate marketing. Each skill is a pre-built set of instructions and context you install directly into your AI agent.
An open-source library of 165 evidence-based pedagogical skills across 20 domains — works in Claude Code, Claude.
Prove and remove accidental codebase complexity without breaking behavior.
让 AI 做出"不像 AI 做的"设计：Jobs 式产品直觉 + Rams 式功能纯粹主义，融合五大顶级设计 Skill 的实测精华。 An opinionated design advisor skill for Claude Code: anti-generic aesthetics, engineering-grade delivery, and a visual "style...
This repository is where common agent skills that should be shared across repositories go.
面向设计奖全流程的证据驱动 Agent Skills：从获奖案例检索、设计评价和奖项匹配，到申报文字准备与提交终检。
你想问 AI 编程学习路线，它给你一篇没有灵魂的教科书？ 你想让 AI 帮你看简历，它给你一堆正确但无用的废话？ 你想问要不要接这个 offer，它给你 "需要综合考虑多方面因素"？ 你想知道 AI 时代该学什么，它给你一个面面俱到但毫无主见的清单？