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

🚀 Supercharge your AI coding assistant with curated, production-ready skills for Microsoft Azure. Works seamlessly with: 🟣 | 🔵 | 🟢 | 🔴 | 🩵 | 🟠 | ⚪ | 🌸

(asm) is a scriptable CLI built for AI agents and automation — install, search, audit, and organize skills across Claude Code, Codex, Cursor, and 16 more tools.

Vibe-coded products are ugly in the same specific way: indigo gradients, glowing cards, emoji everywhere, a mascot in every corner, ALL-CAPS stat-cards.

This repository is built for AI infrastructure engineers who want agents to do real work, not recite generic prompts.

This repo may be replaced by nuxt-skill.onmax.me. Stay tuned.

Memorizz is an educational/experimental framework. APIs may change and the project has not undergone security hardening for production workloads.

Thirteen curated Agent Skills package the steps, templates, scripts, examples, and quality gates behind repeatable work. They follow the open SKILL.

A collection of Claude Code skills for academic research workflows.

Reusable Agent Skills for single-page SEO auditing. Give it a URL — get a structured HTML report with actionable findings.

There are already many useful : discipline templates, anti-AI phrasing rules, citation/equation safety rules, and general academic style guides.

My personal library of domain-agnostic agent skills, reused across every project. Small, composable, and hackable — works with any harness that supports skills: Claude Code, Codex, opencode, Cursor,...

A curated, installable collection of AI agent skills for research, writing, analysis, and scientific workflows.