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
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
vet supports special mode for Agent Skills. Run vet scan --agent-skill to scan an Agent Skill hosted in a GitHub repository.
简单说，就是跟 Claude 说一句话，它会帮我从每天的新论文里筛一轮，挑出值得看的，再把重点论文读完、写成 Obsidian 笔记。日常不用记一堆命令，基本就是：
本项目围绕吴恩达老师在 DeepLearning.AI 推出的 Agentic AI 系列课程，致力于为中文学习者提供高质量的课程内容翻译、系统化的知识梳理、关键概念解析以及配套示例代码的详细解读。项目不仅帮助学习者跨越语言障碍，更通过结构化整理与实践引导，深入理解“智能体”（Agent）在现代 AI 系统中的核心作用，掌握构建自主、协作、推理型 AI 应用的关键方法。
Built by DeepSeek, for DeepSeek. An AI coding agent that flows through your codebase like a tide. The name: DeepSeek + tide (terminal IDE).
🌩️ Be like a god to a town of agents. Pause time. Whisper to a soul. Bend the next step. Reset the world — all from a single click.
Fast, AI-ready, and zero-config. Free and open source, forever.
NeMo Gym is a library for evaluating and improving models and agents using environments. NeMo Gym provides infrastructure to develop environments, scalably run evaluation and training, and a...
The main branch is under active development for . The stable releases are maintained in the v0.x branch. The documentation for Rslib v1 is available at v1.rslib.rs.
![NPM version][npm-url] ![Downloads][downloads-url] ![License][license-url] ![twitter][twitter] ![Discord Chat][discord-invite]
E-commerce skills for AI agents — product research, marketing automation, supply chain optimization, and business analytics for online sellers across Amazon, Shopify, Etsy, TikTok Shop, and all...