Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
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

/bro is a tiny Agent Skills-format skill with one job: when the assistant's last reply was too dense, too jargon-heavy, or too formal, you type /bro and it re-explains like a smart friend over a beer.

"I don't debug broken skills by hand - I have a TUI to be disappointed for me."

Turn AI output into game design decisions you can verify. Local-first · Evidence-linked · Human-gated

PersianTools provides Jalali (Shamsi) dates and datetimes that work just like Python's datetime — plus handy tools for Persian text: digit conversion between Persian, Arabic, and English, character...

Read the skill docs » · Install · Example report · 繁體中文

Three Kings 2.2: compress with iMandalArt, address with BIRD, and publish with an A4 eight-page booklet.

MotionEyes is an agent-first SwiftUI motion observability system.

把授权照片、主页截图、简介或已有角色档案,转成一套可长期复用的极简手绘图解角色;再把文章、课程、观点或脚本拆成适合传播的长文配图、知识卡、方法拆解图、手机海报或整页 PPT 演讲页面。

My agent skills that I use every day to do real engineering - not vibe coding.

A synthesized, spec-compliant pack of five agent skills that turns Claude Code, Codex CLI, and any other agentskills.io-compatible agent into a DSPy expert.

A collection of agent skills maintained by @mizchi, distributed via APM (Agent Package Manager).

Perforated is a data-efficiency layer for machine learning that adds artificial to your neural network.