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
Open-source agent skills for generating editorial-style information cards from natural-language input.
Semantic code search, memory, and symbol intelligence for AI coding assistants. Get your free account at dev.context-engine.ai
paper-lifecycle 现在是一个科研写作 skills suite。根目录只做项目说明，真正可安装、可调用的 skill 是两个平级目录：
Codex academic paper skills for software engineering thesis planning and revision
If you have used android/skills, you already know the shape of an Agent Skill: a Markdown file an agent loads on demand to perform one focused task. That library covers Android development at large.
📚 在线阅读地址 📖《LangGraph 1.0 完全指南》 从零开始，动手实现强大的智能体
An open-source Dynamic Workflow runtime for building observable, reusable Agent graphs.
Agent skills for Sleek, the AI-powered mobile app design tool.
The desktop GUI for managing AI code agent skills on macOS.
A curated list of AI tools for smart-contract security. Built and maintained by pashov.com.
Multi-tier framework for evaluating AI agent skills with quality gates, semantic overlap detection, synthetic evaluation dataset generation, and live agent evaluation that measures how skills affect...
An AI coding agent skill for deep architectural analysis of open-source projects. Generates professional-grade architecture reports with design insights, trade-off analysis, and Mermaid diagrams.